Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems.
Anik MomtazHoussam AbbasBorzoo BonakdarpourPublished in: ICCPS (2023)
Keyphrases
- temporal logic
- cyber physical systems
- model checking
- cyber physical
- physical world
- cyber security
- modal logic
- belief revision
- reactive systems
- critical infrastructure
- embedded systems
- verification method
- distributed systems
- linear temporal logic
- formal specification
- real time
- computation tree logic
- smart grid
- distributed environment
- mobile agents
- decision support system
- state space
- multi agent
- social networks