Temporal Logic Control of Discrete-Time Piecewise Affine Systems.
Boyan YordanovJana TumovaIvana CernaJiri BarnatCalin BeltaPublished in: IEEE Trans. Autom. Control. (2012)
Keyphrases
- temporal logic
- model checking
- dynamic constraints
- reactive systems
- piecewise affine
- distributed systems
- modal logic
- control system
- formal specification language
- artificial intelligence
- computation tree logic
- concurrent systems
- verification method
- finite state
- satisfiability problem
- orders of magnitude
- domain specific