Hochschulschrift
Automatic modeling and fault diagnosis of timed concurrent discrete event systems : = Automatische Modellierung und Fehlerdiagnose zeitlicher nebenläufiger ereignisdiskreter Systeme
- Alternative title
-
Automatische Modellierung und Fehlerdiagnose zeitlicher nebenläufiger ereignisdiskreter Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832539818
3832539816
- Dimensions
-
21 cm
- Extent
-
III, 184 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2015
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Diskretes Ereignissystem
Zeitbehafteter Automat
Nebenläufigkeit
Fehlererkennung
Fehlerortung
Systemmodell
Systemidentifikation
Diagnosesystem
Fertigungsanlage
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Logos-Verl.
- (when)
-
2015
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:40 PM CEST
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
- Schneider, Stefan
- Logos Verlag Berlin
- Logos-Verl.
Time of origin
- 2015
Other Objects (12)
Further Studies on Timed Testing of Concurrent Systems
Concurrent timed port automata
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Automated repair for timed systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Model-based fault diagnosis and fault-tolerant control for a nonlinear electro-hydraulic system : = Modellbasierte Fehlerdiagnose und fehlertolerante Regelung für ein nichtlineares elektrohydraulisches System
Clock Bound Repair for Timed Systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Interaction in concurrent systems
Further Studies on Timed Testing of Concurrent Systems
Concurrent timed port automata
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Automated repair for timed systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Model-based fault diagnosis and fault-tolerant control for a nonlinear electro-hydraulic system : = Modellbasierte Fehlerdiagnose und fehlertolerante Regelung für ein nichtlineares elektrohydraulisches System
Clock Bound Repair for Timed Systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems
Interaction in concurrent systems
Further Studies on Timed Testing of Concurrent Systems
Concurrent timed port automata
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings
Automated repair for timed systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Model-based fault diagnosis and fault-tolerant control for a nonlinear electro-hydraulic system : = Modellbasierte Fehlerdiagnose und fehlertolerante Regelung für ein nichtlineares elektrohydraulisches System
Clock Bound Repair for Timed Systems
Induction-based Verification of Timed Systems
Interval probabilistic timed graph transformation systems
Interval probabilistic timed graph transformation systems