Formal controller synthesis from specifications given by discrete-time hybrid automata.

Vladimir Sinyakov Antoine Girard

Published in: Autom. (2021)

Keyphrases

hybrid automata
controller synthesis
formal specification
autonomic computing systems
finite state automata
closed loop
control system
finite state machines
autonomic systems
state space
fuzzy logic
positive and negative
control algorithm