Sfoglia per Autore
Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management
2005-01-01 DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano; D'Innocenzo, Alessandro
Error Detection within a Specific Time Horizon and Application to Air Traffic Management
2005-01-01 DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano; D'Innocenzo, Alessandro
Critical States Detection with Bounded Probability of False Alarm and Application to Air Trac Management
2006-01-01 DI BENEDETTO, MARIA DOMENICA; Di Gennaro, S.; D'Innocenzo, Alessandro
A Theoretical Framework for Control Over Wireless Networks
2006-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; Pola, Giordano; Rinaldi, C.; Santucci, Fortunato
Modeling of adaptive behaviours in control over wireless networks
2006-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; Pola, G; Rinaldi, C; Santucci, Fortunato
Critical states detection with bounded probability of false alarm and application to air traffic management
2006-01-01 Di Benedetto, M. D.; Di Gennaro, S.; D'Innocenzo, A.
Critical observability of a class of hybrid systems and application to air traffic management
2006-01-01 DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano; D'Innocenzo, Alessandro; Pola, Giordano
Observability of hybrid automata by abstraction
2006-01-01 D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano
Diagnosability Verication for Hybrid Automata and Durational Graphs
2007-01-01 DI BENEDETTO, MARIA DOMENICA; Di Gennaro, S.; D'Innocenzo, Alessandro
Approximate timed abstractions of Hybrid Systems
2007-01-01 D'Innocenzo, Alessandro; A. A., Julius; DI BENEDETTO, MARIA DOMENICA
Verication of Temporal Properties on Hybrid Automata by Simulation Relations
2007-01-01 D'Innocenzo, Alessandro; Julius, A. A.; Pappas, G.; DI BENEDETTO, MARIA DOMENICA; Di Gennaro, S.
Finite horizon observability of Hybrid Automata by Abstraction
2007-01-01 D'Innocenzo, A.; Di Benedetto, M. D.; Di Gennaro, S.
Diagnosability verication for hybrid automata
2007-01-01 DI BENEDETTO, MARIA DOMENICA; Di Gennaro, S.; D'Innocenzo, Alessandro
Modeling and design of control algorithms over wireless networks
2007-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; Rinaldi, C; Santucci, Fortunato; Serra, E.
The Concept of Deadlock and Livelock in Hybrid Control Systems
2007-01-01 A., Abate; D'Innocenzo, Alessandro; Pola, Giordano; DI BENEDETTO, MARIA DOMENICA; S. S., Sastry
Modeling and design of control algorithms over wireless networks, Invited session on "Industrial control over wireless networks"
2007-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; Rinaldi, C.; Santucci, Fortunato; Serra, E.
Verification of Temporal Properties on Hybrid Automata by Simulation Relations
2007-01-01 D'Innocenzo, Alessandro; A. A., Julius; G. J., Pappas; DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano
Approximate timed abstractions of hybrid automata
2007-01-01 D'Innocenzo, A.; Julius, A. A.; Di Benedetto, M. D.; Pappas, G. J.
Automatic verication of temporal properties of Air Traffic Management procedures using Hybrid Systems
2008-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; A., Petriccone
Automatic Verication of Wireless Control in a Mining Ventilation System
2008-01-01 DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; E., Serra; E., Witrant
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management | 1-gen-2005 | DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano; D'Innocenzo, Alessandro | |
Error Detection within a Specific Time Horizon and Application to Air Traffic Management | 1-gen-2005 | DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano; D'Innocenzo, Alessandro | |
Critical States Detection with Bounded Probability of False Alarm and Application to Air Trac Management | 1-gen-2006 | DI BENEDETTO, MARIA DOMENICA; Di Gennaro, S.; D'Innocenzo, Alessandro | |
A Theoretical Framework for Control Over Wireless Networks | 1-gen-2006 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; Pola, Giordano; Rinaldi, C.; Santucci, Fortunato | |
Modeling of adaptive behaviours in control over wireless networks | 1-gen-2006 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; Pola, G; Rinaldi, C; Santucci, Fortunato | |
Critical states detection with bounded probability of false alarm and application to air traffic management | 1-gen-2006 | Di Benedetto, M. D.; Di Gennaro, S.; D'Innocenzo, A. | |
Critical observability of a class of hybrid systems and application to air traffic management | 1-gen-2006 | DE SANTIS, Elena; DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano; D'Innocenzo, Alessandro; Pola, Giordano | |
Observability of hybrid automata by abstraction | 1-gen-2006 | D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano | |
Diagnosability Verication for Hybrid Automata and Durational Graphs | 1-gen-2007 | DI BENEDETTO, MARIA DOMENICA; Di Gennaro, S.; D'Innocenzo, Alessandro | |
Approximate timed abstractions of Hybrid Systems | 1-gen-2007 | D'Innocenzo, Alessandro; A. A., Julius; DI BENEDETTO, MARIA DOMENICA | |
Verication of Temporal Properties on Hybrid Automata by Simulation Relations | 1-gen-2007 | D'Innocenzo, Alessandro; Julius, A. A.; Pappas, G.; DI BENEDETTO, MARIA DOMENICA; Di Gennaro, S. | |
Finite horizon observability of Hybrid Automata by Abstraction | 1-gen-2007 | D'Innocenzo, A.; Di Benedetto, M. D.; Di Gennaro, S. | |
Diagnosability verication for hybrid automata | 1-gen-2007 | DI BENEDETTO, MARIA DOMENICA; Di Gennaro, S.; D'Innocenzo, Alessandro | |
Modeling and design of control algorithms over wireless networks | 1-gen-2007 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; Rinaldi, C; Santucci, Fortunato; Serra, E. | |
The Concept of Deadlock and Livelock in Hybrid Control Systems | 1-gen-2007 | A., Abate; D'Innocenzo, Alessandro; Pola, Giordano; DI BENEDETTO, MARIA DOMENICA; S. S., Sastry | |
Modeling and design of control algorithms over wireless networks, Invited session on "Industrial control over wireless networks" | 1-gen-2007 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; Rinaldi, C.; Santucci, Fortunato; Serra, E. | |
Verification of Temporal Properties on Hybrid Automata by Simulation Relations | 1-gen-2007 | D'Innocenzo, Alessandro; A. A., Julius; G. J., Pappas; DI BENEDETTO, MARIA DOMENICA; DI GENNARO, Stefano | |
Approximate timed abstractions of hybrid automata | 1-gen-2007 | D'Innocenzo, A.; Julius, A. A.; Di Benedetto, M. D.; Pappas, G. J. | |
Automatic verication of temporal properties of Air Traffic Management procedures using Hybrid Systems | 1-gen-2008 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; A., Petriccone | |
Automatic Verication of Wireless Control in a Mining Ventilation System | 1-gen-2008 | DI BENEDETTO, MARIA DOMENICA; D'Innocenzo, Alessandro; E., Serra; E., Witrant |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile