Real-time detection of pathological traffic situations via AIS (Englisch)
- Neue Suche nach: Pagnoni, Anastasia
- Neue Suche nach: Visconti, Andrea
- Neue Suche nach: Pagnoni, Anastasia
- Neue Suche nach: Visconti, Andrea
In:
Beschreibungsmittel, Methoden und Werkzeuge für Entwurf und Zuverlässigkeit von Anwendungen in Automatisierung und Verkehr, EKA, Entwurf komplexer Automatisierungssysteme, 9
;
251-258
;
2006
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Real-time detection of pathological traffic situations via AIS
-
Weitere Titelangaben:Echtzeiterkennung von menschlich verursachten Verkehrssituationen mit VIS
-
Beteiligte:Pagnoni, Anastasia ( Autor:in ) / Visconti, Andrea ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: TU Braunschweig
-
Erscheinungsort:Braunschweig
-
Erscheinungsdatum:2006
-
Format / Umfang:8 Seiten, 11 Quellen
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 35
-
The petri net markup language and ISO/IEC 15909-2: concepts, status, and future directionsKindler, Ekkart et al. | 2006
- 57
-
Regelbasierte Verfeinerung von Petrinetz-Modulen: Am Beispiel ProduktionszellePadberg, Julia et al. | 2006
- 67
-
Simulationsmodellbasierte Entwicklung und Realisierung von RobotersteuerungenMaletzki, G. / Pawletta, T. / Dünow, P. / Pawletta, S. / Kremp, M. / Lampe, B. et al. | 2006
- 79
-
Konsistentes Verschalten Petri-Netz-basierter Komponenten beim Entwurf verteilter Steuerungen in CNetHagge, Nils / Wagner, Bernardo et al. | 2006
- 91
-
Ereignisgesteuerte Prozessdiagnose durch eine modellbasierte SystemüberwachungJörn, Jürgen et al. | 2006
- 117
-
Techniken zur effizienten Verifikation von Echtzeitsystemen durch Model-CheckingWitsch, Daniel / Vogel-Heuser, Birgit et al. | 2006
- 131
-
Analyse des Antwortverhaltens vernetzter Automatisierungssysteme mittels Probabilistic Model CheckingGreifeneder, Jürgen / Frey, Georg et al. | 2006
- 153
-
Ein Ansatz zur Vereinheitlichung der Betriebsarten und Sicherheitsziele nach IEC 61508Braband, Jens et al. | 2006
- 175
-
IT-Sicherheit auf der Feldebene von AutomatisierungssystemenGutbrodt, Felix / Göhner, Peter et al. | 2006
- 193
-
Ein allgemeiner, semi-quantitativer Ansatz für Risikoanalysen am Beispiel der MaschinensicherheitGriebel, Stephan et al. | 2006
- 209
-
Integrierte modellgestützte Risikoanalyse komplexer AutomatisierungssystemeWedel, Michael / Göhner, Peter / Jäger, Patrick / Bertsche, Bernd et al. | 2006
- 251
-
Real-time detection of pathological traffic situations via AISPagnoni, Anastasia / Visconti, Andrea et al. | 2006
- 259
-
Entwurf komplexer Automatisierungssysteme am Beispiel eines Überwachungsautomaten für Überholvorgänge von KraftfahrzeugenAhle, Elmar / Söffker, Dirk et al. | 2006
- 271
-
Sicherstellung der Diagnosequalität im Automobilbereich durch modellbasierte EntwicklungFlorentz, Bastian / Harms, Mirko / Breuer, Andreas et al. | 2006
- 283
-
Eine quantitative Untersuchung des European Train Control System mit UML State MachinesZimmermann, Armin / Trowitzsch, Jan et al. | 2006