Hochschulschrift
Safety Verification of Real-Time Control Systems with Flexible Timing
- Alternative title
-
Sicherheitsverifikation von Echtzeitregelungssystemen mit flexiblem Timing
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Dissertation, 2022
- Bibliographic citation
-
FAU Studien aus der Elektrotechnik ; 20
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Sicherheitskritisches System
Regelungstechnik
Regelungstheorie
Echtzeitsystem
Stabilität
Regelungssystem
MIMO
Timing
Regelung
Regelungstechnik
Regelungstheorie
- Event
-
Veröffentlichung
- (where)
-
Erlangen
- (who)
-
FAU University Press
- (when)
-
2023
- Creator
- Contributor
-
Roppenecker, Günter
Roppenecker, Günter
Ulbrich, Peter
Konigorski, Ulrich
FAU University Press ein Imprint der Universität Erlangen-Nürnberg. Universitätsbibliothek
- DOI
-
10.25593/978-3-96147-638-1
- URN
-
urn:nbn:de:bvb:29-opus4-227680
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Gaukler, Maximilian
- Roppenecker, Günter
- Ulbrich, Peter
- Konigorski, Ulrich
- FAU University Press ein Imprint der Universität Erlangen-Nürnberg. Universitätsbibliothek
- FAU University Press
Time of origin
- 2023
Other Objects (12)
Safety verification of real-time control systems with flexible timing
Smart racket - instrumented racket as real-time feedback device for table tennis
Formal verification in automated manufacturing
Magazin für digitale Editionswissenschaften
Digitale Spiele und fachliches Lernen, Band 1
Digitale Spiele und fachliches Lernen, Band 2
Anhang zu 30 Jahre Frauenbeauftragte an der Friedrich-Alexander-Universität Erlangen-Nürnberg
Einführung in die Wissenschaftsfreiheit in der Volksrepublik China. Institutionelle Autonomie und Lehr- und Forschungsfreiheit
Physically-based methodology for the EMC-compliant design and verification of automotive system ICs
Formal Verification in Automated Manufacturing
Integrated timing verification for distributed embedded real-time systems
Meinungsäußerung und -steuerung aus pragmalinguistischer Sicht : Handlungstypen und Verwendungsmuster
Safety verification of real-time control systems with flexible timing
Smart racket - instrumented racket as real-time feedback device for table tennis
Formal verification in automated manufacturing
Magazin für digitale Editionswissenschaften
Digitale Spiele und fachliches Lernen, Band 1
Digitale Spiele und fachliches Lernen, Band 2
Anhang zu 30 Jahre Frauenbeauftragte an der Friedrich-Alexander-Universität Erlangen-Nürnberg
Einführung in die Wissenschaftsfreiheit in der Volksrepublik China. Institutionelle Autonomie und Lehr- und Forschungsfreiheit
Physically-based methodology for the EMC-compliant design and verification of automotive system ICs
Formal Verification in Automated Manufacturing
Integrated timing verification for distributed embedded real-time systems
Meinungsäußerung und -steuerung aus pragmalinguistischer Sicht : Handlungstypen und Verwendungsmuster
Safety verification of real-time control systems with flexible timing
Smart racket - instrumented racket as real-time feedback device for table tennis
Formal verification in automated manufacturing
Magazin für digitale Editionswissenschaften
Digitale Spiele und fachliches Lernen, Band 1
Digitale Spiele und fachliches Lernen, Band 2
Anhang zu 30 Jahre Frauenbeauftragte an der Friedrich-Alexander-Universität Erlangen-Nürnberg
Einführung in die Wissenschaftsfreiheit in der Volksrepublik China. Institutionelle Autonomie und Lehr- und Forschungsfreiheit
Physically-based methodology for the EMC-compliant design and verification of automotive system ICs
Formal Verification in Automated Manufacturing
Integrated timing verification for distributed embedded real-time systems