Hochschulschrift
Automatic modeling and fault diagnosis of timed concurrent discrete event systems : = Automatische Modellierung und Fehlerdiagnose zeitlicher nebenläufiger ereignisdiskreter Systeme
- Weitere Titel
-
Automatische Modellierung und Fehlerdiagnose zeitlicher nebenläufiger ereignisdiskreter Systeme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832539818
3832539816
- Maße
-
21 cm
- Umfang
-
III, 184 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2015
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Diskretes Ereignissystem
Zeitbehafteter Automat
Nebenläufigkeit
Fehlererkennung
Fehlerortung
Systemmodell
Systemidentifikation
Diagnosesystem
Fertigungsanlage
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Logos-Verl.
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
- 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:40 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
- Schneider, Stefan
- Logos Verlag Berlin
- Logos-Verl.
Entstanden
- 2015
Ähnliche Objekte (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