O'Reilly logo

The Inverse Method: Parametric Verification of Real-time Embedded Systems by Romain Soulat, Etienne André

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Index

π-compatibility

A, B

Acyclic parametric timed automaton

Acyclic trace

Affine hybrid automaton

Behavioral cartography

Bisimulation

Bounded retransmission protocol

C

Clock

Constraint

Constraint inclusion

Continuous variable

CSMA/CD protocol

CTL

D, F, G, H

Discrete variables

Flip-flop circuit

Good trace set

Hybrid automaton

HyMITATOR

I, L

IMITATOR

Initial constraint

Initial state

Inverse method

Labeled transition system

Linear hybrid automaton

Linear inequality

LTL

N, P

Network of parametric timed automata

Next generation spacecraft flight control system

Parallel composition

Parameter

Parametric timed automaton

Projection

R

Reachability

Renaming variables

Robustness

Room heating benchmark

Root contention protocol

Run

Run equivalence

S

Schedulability

Semantics of linear hybrid automata

Semantics of timed automata

Set inclusion

SPSMALL memory

State inclusion

T, V

Time elapsing

Timed automata augmented with stopwatches

Timed automaton

Trace

Trace set

VALMEM project

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required