IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 121
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
Mostrati risultati da 1 a 20 di 121
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