Inner and outer reachability for the verification of control systems.

Eric Goubault Sylvie Putot

Published in: HSCC (2019)

Keyphrases

control system
model checking
closed loop
safety analysis
transitive closure
face verification
control scheme
state space
formal verification
verification method
artificial intelligence
real time
distributed systems
expressive power
database
control law
multiscale
cryptographic protocols
high security