Synthesis of interconnected control systems under reachability specifications.
Mohammad Al KhatibStefan StreifPublished in: CDC (2021)
Keyphrases
- control system
- controller synthesis
- transitive closure
- program synthesis
- state space
- closed loop
- finite state machines
- formal specification
- texture synthesis
- delay insensitive
- control flow
- control law
- search engine
- machine learning
- control algorithm
- control strategy
- functional requirements
- high level
- real environment
- information systems
- functional programs
- fault detection and isolation
- information retrieval