Index
A
affine dynamics
algorithms
B
bisimulation
bloating
bouncing ball
Büchi automata
C
clock
clock constraint
configuration
continuous time Markov chain
control objective
controller
D
decidability
diagnosability
discrete event system
discrete time Markov chain
dynamics
E
expressiveness
F
fault diagnosis
flow
formal verification
H
hybrid automata
hybrid automaton
hybridization
I
implementability
K
Kripke structure
L
language
linear constraint
linear dynamics, 237
linear hybrid automata
liveness algorithm
M
model checking
O
optimal control
P
partial observability
PCTL
PCTL*
Performance evaluation
PLTL
polyhedron
post operators
R
reachability
reachability algorithm
real-time
refinement
region
region graph
response time
ROMÉO
S
safety
scheduling
stopwatches
strategy
synthesis
system design
T
TCTL
temporal logic
time discretization
time Petri nets
timed automata
timed game automata
timed games
timed language
timed logic
timed transition system
transitions systems
U
UPPAAL
V
verification
W
wrapping effect
Z
Zenoness
zonotope
Get Communicating Embedded Systems: Software and Design now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.