Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems.
Rong GuZahra MoezkarimiMarjan SirjaniPublished in: FORTE (2024)
Keyphrases
- cyber physical systems
- controller synthesis
- cyber physical
- autonomic computing systems
- physical world
- cyber security
- control system
- security issues
- multi agent
- closed loop
- control algorithm
- critical infrastructure
- social networks
- embedded systems
- virtual environment
- controller design
- artificial neural networks
- autonomic systems
- real time
- data management