Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems.
Sofie HaesaertFei ChenAlessandro AbateSiep WeilandPublished in: IEEE Trans. Autom. Control. (2021)
Keyphrases
- mathematical models
- control theory
- formal methods
- mechanical systems
- mathematical theory
- formal model
- simulation tools
- control strategies
- topics covered include
- formal languages
- general theory
- simulation models
- multiscale
- control method
- retrieval systems
- action recognition
- computational model
- intelligent systems
- management system