Direct data-driven signal temporal logic control of linear systems.
Birgit van HuijgevoortChris VerhoekRoland TóthSofie HaesaertPublished in: CoRR (2023)
Keyphrases
- temporal logic
- linear systems
- data driven
- control theory
- model checking
- dynamical systems
- modal logic
- sufficient conditions
- satisfiability problem
- verification method
- concurrent systems
- mazurkiewicz traces
- control system
- computation tree logic
- linear temporal logic
- temporal knowledge
- belief revision
- coefficient matrix
- frequency domain
- formal specification
- control method
- temporally extended
- bounded model checking
- sparse linear systems
- temporal information