Continuous-Time Dynamical Systems -- Discrete-Time Dynamical Systems -- Formal Specifications and Discrete Synthesis -- Interval Computation -- Controller Synthesis via Finite Abstractions -- Specification-Guided Controller Synthesis via Direct Interval Computation -- Applications and Case Studies.
Formal methods for control of nonlinear systems
2023
1 Online-Ressource (272 Seiten)
Campusweiter Zugriff (Universität Hannover) - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.
Buch
Elektronische Ressource
Englisch
DDC: | 629.8/36 |
Formal methods for railway operation and control systems
TIBKAT | 2003
|Semi-formal design methods for functional modelling of climate control systems
British Library Conference Proceedings | 1998
|