Distributed, Embedded and Intelligent Systems

  • Selma Lagerl√∂fs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Fingerprint Dive into the research topics where Distributed, Embedded and Intelligent Systems is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Real time systems
Controllers
Specifications
Petri nets
Semantics
Scheduling
Network protocols
Testing
Computability and decidability
Markov processes
Hybrid systems
Costs
Wind turbines
Communication
Embedded systems
Robots
Algebra
Middleware
Web services
Chemical analysis
Hardware
Data storage equipment
Automation
Learning systems
Scalability
Bayesian networks
Industry
Acoustic waves
Dynamical systems
Software engineering
Experiments
Clocks
Labels
Temporal logic
Internet
Sensors
Satellites
Switches
Embedded software
Lyapunov functions
Actuators
Data structures
Syntactics
Farms
Computational complexity
Model predictive control
Global positioning system
Service oriented architecture (SOA)
Ventilation
Heating
Probability distributions
Computer programming languages
Synchronization
Trajectories
Turbines
Polynomials
Observability
Servers
Mobile robots
Processing
Finite automata

Mathematics

Timed Automata
Transition Systems
Bisimulation
Axiomatization
Logic
Decidability
Equivalence
Model Checking
Specification
Automata
Markov Process
Markov chain
Calculus
Process Algebra
Metric
Petri Nets
Refinement
Weighted Automata
Model
Branching
Arc of a curve
Real-time
State Space
Reachability Analysis
Basic Algebra
Preorder
Completeness
Measurable space
Modal Logic
Operator
Synthesis