Control of Cyber-Physical-Systems with logic specifications: A formal methods approach.
Giordano PolaMaria Domenica Di BenedettoPublished in: Annu. Rev. Control. (2019)
Keyphrases
- formal methods
- model checker
- cyber physical systems
- formal specification
- model checking
- cyber physical
- formal specification language
- reactive systems
- knowledge based systems
- cyber security
- artificial intelligence
- formal verification
- control system
- real time
- critical infrastructure
- software engineering
- physical world
- modeling language
- embedded systems
- data acquisition
- asynchronous circuits
- expert systems
- protocol specification