Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems.
Oliver SchönBirgit van HuijgevoortSofie HaesaertSadegh SoudjaniPublished in: CDC (2023)
Keyphrases
- building blocks
- mechanical systems
- knowledge based systems
- complex systems
- network design
- design criteria
- operating environment
- user interface
- design process
- control policies
- design tools
- process automation
- social networks
- control program
- autonomous systems
- control system
- support systems
- human computer interface
- design issues
- control policy
- real time control
- design procedure
- control method
- computer networks
- distributed systems
- bayesian networks
- human machine interface
- decision making