Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern-Landau, Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Dissertation, 2024
- Schlagwort
-
Dynamisches System
Reglerentwurf
Systementwurf
Hybrides System
Formal methods in control
Data-driven control
Learning in control
Stochastic systems
Dynamical systems
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern-Landau
- (wer)
-
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
- (wann)
-
2024
- Urheber
-
Salamati, Mahmoud
- Beteiligte Personen und Organisationen
-
Majumdar, Rupak
- DOI
-
10.26204/KLUEDO/8348
- URN
-
urn:nbn:de:hbz:386-kluedo-83487
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Salamati, Mahmoud
- Majumdar, Rupak
- Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Entstanden
- 2024
Ähnliche Objekte (12)
Formal synthesis of safety controller code for distributed controllers
Hybrid dynamical systems : controller and sensor switching problems
Guaranteed set-based controller design for hybrid dynamical systems
Symbolic controller synthesis for LTL specifications
Stability region based robust controller synthesis
Formal Synthesis of Controllers for Complex Dynamical Systems: State-Space Discretization-free Approaches
D27.1 Recommendations About Scalability
Controller Synthesis for Deterministic Context Free Specification Languages
VMEbus Controller Synthesis by Communicating Asynchronous Sequential Circuits
Controller synthesis for deterministic context free specification languages
Formal methods for dynamical systems : advanced lectures
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
Formal synthesis of safety controller code for distributed controllers
Hybrid dynamical systems : controller and sensor switching problems
Guaranteed set-based controller design for hybrid dynamical systems
Symbolic controller synthesis for LTL specifications
Stability region based robust controller synthesis
Formal Synthesis of Controllers for Complex Dynamical Systems: State-Space Discretization-free Approaches
D27.1 Recommendations About Scalability
Controller Synthesis for Deterministic Context Free Specification Languages
VMEbus Controller Synthesis by Communicating Asynchronous Sequential Circuits
Controller synthesis for deterministic context free specification languages
Formal methods for dynamical systems : advanced lectures
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
Formal synthesis of safety controller code for distributed controllers
Hybrid dynamical systems : controller and sensor switching problems
Guaranteed set-based controller design for hybrid dynamical systems
Symbolic controller synthesis for LTL specifications
Stability region based robust controller synthesis
Formal Synthesis of Controllers for Complex Dynamical Systems: State-Space Discretization-free Approaches
D27.1 Recommendations About Scalability
Controller Synthesis for Deterministic Context Free Specification Languages
VMEbus Controller Synthesis by Communicating Asynchronous Sequential Circuits
Controller synthesis for deterministic context free specification languages
Formal methods for dynamical systems : advanced lectures