Formal Synthesis of Controllers for Complex Dynamical Systems: State-Space Discretization-free Approaches
- Weitere Titel
-
Formale Synthese von Controllern für komplexe dynamische Systeme: Zustandsmenge-Diskretisierungfreie-Methoden
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2020
- Schlagwort
-
Space
Dynamics
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2020
- Urheber
-
Jagtap, Pushpak
- Beteiligte Personen und Organisationen
-
Buss, Martin
Zamani, Majid
Buss, Martin
- URN
-
urn:nbn:de:bvb:91-diss-20201208-1543214-1-8
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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
- Jagtap, Pushpak
- Buss, Martin
- Zamani, Majid
- Universitätsbibliothek der TU München
Entstanden
- 2020
Ähnliche Objekte (12)
Investigating dynamics by multilevel phase space discretization : approaches towards the efficient computation of nonlinear dynamical systems
Asymptotic behavior of dynamical and control systems under perturbation and discretization
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
(In)Finite Time Dynamical Systems with Homoclinic Structures – Discretization and Approximation –
Formal specification and synthesis of procedural controllers for process systems
Interaction-Driven Approaches for Efficient and Autonomous Calibration of Myoelectric Controllers
Formal methods for dynamical systems : advanced lectures
Dynamical approaches to linearly constrained convex minimization
Berufsbild des Controllers
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
Nonlinear dynamical systems in engineering : some approximate approaches
Investigating dynamics by multilevel phase space discretization : approaches towards the efficient computation of nonlinear dynamical systems
Asymptotic behavior of dynamical and control systems under perturbation and discretization
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
(In)Finite Time Dynamical Systems with Homoclinic Structures – Discretization and Approximation –
Formal specification and synthesis of procedural controllers for process systems
Interaction-Driven Approaches for Efficient and Autonomous Calibration of Myoelectric Controllers
Formal methods for dynamical systems : advanced lectures
Dynamical approaches to linearly constrained convex minimization
Berufsbild des Controllers
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
Nonlinear dynamical systems in engineering : some approximate approaches
Investigating dynamics by multilevel phase space discretization : approaches towards the efficient computation of nonlinear dynamical systems
Asymptotic behavior of dynamical and control systems under perturbation and discretization
Formal synthesis of safety controller code for distributed controllers
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
(In)Finite Time Dynamical Systems with Homoclinic Structures – Discretization and Approximation –
Formal specification and synthesis of procedural controllers for process systems
Interaction-Driven Approaches for Efficient and Autonomous Calibration of Myoelectric Controllers
Formal methods for dynamical systems : advanced lectures
Dynamical approaches to linearly constrained convex minimization
Berufsbild des Controllers
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability