Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
Oliver SchönBirgit van HuijgevoortSofie HaesaertSadegh SoudjaniPublished in: CoRR (2023)
Keyphrases
- mechanical systems
- design criteria
- building blocks
- knowledge based systems
- design procedure
- operating environment
- mobile robot
- distributed systems
- design process
- design issues
- user interface
- digital circuits
- real time control
- control structure
- formal methods
- network design
- control system
- support systems
- control theory
- design decisions
- control method
- network structure
- complex systems
- computer systems
- control unit
- information systems
- design space exploration
- functional programs