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
Book
Electronic Resource
English
DDC: | 629.8/36 |
Formal methods for railway operation and control systems
TIBKAT | 2003
|Formal Methods for Unmanned Aircraft Systems
NTIS | 2021
|