Hochschulschrift
Formal synthesis of safety controller code for distributed controllers
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832531478
3832531475
- Maße
-
21 cm
- Umfang
-
VI, 148 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Halle (Saale), Univ., Diss., 2011
- Erschienen in
-
Hallenser Schriften zur Automatisierungstechnik ; Bd. 9
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
IEC 61499
Steuerungssystem
Verteiltes System
Fertigungsanlage
Funktionssicherheit
Systemsynthese
Formale Spezifikationstechnik
Bedingungs-Ereignis-System
Funktionseinheit
Modularität
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:35 MESZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Missal, Dirk
- Logos-Verl.
Entstanden
- 2012
Ähnliche Objekte (12)
Controlling ohne Controller : die Zukunft des Controllers
Controllers Zukunft : Auftrag, Verantwortung, Rollenbild und Selbstverständnis der Controller
A distributed controller for organic computing applications
Investigation into Air Traffic Complexity as a Driver of a Controller‘s Workload
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Distributed controller design for LPV/LFT distributed systems in input-output form
Formal specification and synthesis of procedural controllers for process systems
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
Using Reachability Analysis in Controller Synthesis for Safety-Critical Systems
Safety licensable and high speed programmable digital controllers providing any required control behaviour
Berufsbild des Controllers
Controlling ohne Controller : die Zukunft des Controllers
Controllers Zukunft : Auftrag, Verantwortung, Rollenbild und Selbstverständnis der Controller
A distributed controller for organic computing applications
Investigation into Air Traffic Complexity as a Driver of a Controller‘s Workload
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Distributed controller design for LPV/LFT distributed systems in input-output form
Formal specification and synthesis of procedural controllers for process systems
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
Using Reachability Analysis in Controller Synthesis for Safety-Critical Systems
Safety licensable and high speed programmable digital controllers providing any required control behaviour
Berufsbild des Controllers
Controlling ohne Controller : die Zukunft des Controllers
Controllers Zukunft : Auftrag, Verantwortung, Rollenbild und Selbstverständnis der Controller
A distributed controller for organic computing applications
Investigation into Air Traffic Complexity as a Driver of a Controller‘s Workload
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Distributed controller design for LPV/LFT distributed systems in input-output form
Formal specification and synthesis of procedural controllers for process systems
Correct-by-Construction Controller Synthesis for Safety-Critical Systems
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
Using Reachability Analysis in Controller Synthesis for Safety-Critical Systems
Safety licensable and high speed programmable digital controllers providing any required control behaviour