D'INNOCENZO, ALESSANDRO
D'INNOCENZO, ALESSANDRO
Dipartimento di Ingegneria e scienze dell informazione e matematica
A Framework for Modeling and Computation in Wireless Embedded Control Systems
2010-01-01 Rinaldi, C; D'Innocenzo, Alessandro; Abate, A; DI BENEDETTO, MARIA DOMENICA; Santucci, Fortunato
A framework for modeling wireless embedded control systems
2012-01-01 Rinaldi, Claudia; D'Innocenzo, Alessandro; Santucci, Fortunato; DI BENEDETTO, MARIA DOMENICA
Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems
2008-01-01 D'Innocenzo, Alessandro; A., Abate; DI BENEDETTO, MARIA DOMENICA
Approximate Abstractions of Markov Chains with Interval Decision Processes
2018-01-01 Lun, Yuriy Zacchia; Wheatley, Jack; D'Innocenzo, Alessandro; Abate, Alessandro
Approximate Abstractions of Stochastic Hybrid Systems
2011-01-01 Abate, A; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA
Approximate equivalence and synchronization of metric transition systems
2009-01-01 A. A., Julius; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA; G. J., Pappas
Approximate timed abstractions of hybrid automata
2007-01-01 D'Innocenzo, A.; Julius, A. A.; Di Benedetto, M. D.; Pappas, G. J.
Approximate timed abstractions of Hybrid Systems
2007-01-01 D'Innocenzo, Alessandro; A. A., Julius; DI BENEDETTO, MARIA DOMENICA
Approximation methods for optimal network coding in a multi-hop control network with packet losses
2015-01-01 Smarra, F.; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA
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
Co-design of controller and routing redundancy over a wireless network
2015-01-01 DI GIROLAMO, GIOVANNI DOMENICO; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA
Codesign of controller, routing and scheduling in WirelessHART networked control systems
2019-01-01 Di Girolamo, Giovanni Domenico; D'Innocenzo, Alessandro
Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems
2014-01-01 Julius, A. A; D'Innocenzo, Alessandro
A comparison of classical identification and learning-based techniques for cyber-physical systems
2021-01-01 De Iuliis, V.; Domenico Di Girolamo, G.; Smarra, F.; D'Innocenzo, A.
Compositional modeling and analysis of multi-hop control networks
2011-01-01 Alur, Rajeev; D'Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera
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
Controllability of Linear Systems with Switching Delays
2016-01-01 Jungers, R. M; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA
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
Critical Observability for 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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Framework for Modeling and Computation in Wireless Embedded Control Systems | 1-gen-2010 | Rinaldi, C; D'Innocenzo, Alessandro; Abate, A; DI BENEDETTO, MARIA DOMENICA; Santucci, Fortunato | |
A framework for modeling wireless embedded control systems | 1-gen-2012 | Rinaldi, Claudia; D'Innocenzo, Alessandro; Santucci, Fortunato; DI BENEDETTO, MARIA DOMENICA | |
Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems | 1-gen-2008 | D'Innocenzo, Alessandro; A., Abate; DI BENEDETTO, MARIA DOMENICA | |
Approximate Abstractions of Markov Chains with Interval Decision Processes | 1-gen-2018 | Lun, Yuriy Zacchia; Wheatley, Jack; D'Innocenzo, Alessandro; Abate, Alessandro | |
Approximate Abstractions of Stochastic Hybrid Systems | 1-gen-2011 | Abate, A; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA | |
Approximate equivalence and synchronization of metric transition systems | 1-gen-2009 | A. A., Julius; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA; G. J., Pappas | |
Approximate timed abstractions of hybrid automata | 1-gen-2007 | D'Innocenzo, A.; Julius, A. A.; Di Benedetto, M. D.; Pappas, G. J. | |
Approximate timed abstractions of Hybrid Systems | 1-gen-2007 | D'Innocenzo, Alessandro; A. A., Julius; DI BENEDETTO, MARIA DOMENICA | |
Approximation methods for optimal network coding in a multi-hop control network with packet losses | 1-gen-2015 | Smarra, F.; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA | |
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 | |
Co-design of controller and routing redundancy over a wireless network | 1-gen-2015 | DI GIROLAMO, GIOVANNI DOMENICO; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA | |
Codesign of controller, routing and scheduling in WirelessHART networked control systems | 1-gen-2019 | Di Girolamo, Giovanni Domenico; D'Innocenzo, Alessandro | |
Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems | 1-gen-2014 | Julius, A. A; D'Innocenzo, Alessandro | |
A comparison of classical identification and learning-based techniques for cyber-physical systems | 1-gen-2021 | De Iuliis, V.; Domenico Di Girolamo, G.; Smarra, F.; D'Innocenzo, A. | |
Compositional modeling and analysis of multi-hop control networks | 1-gen-2011 | Alur, Rajeev; D'Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera | |
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 | |
Controllability of Linear Systems with Switching Delays | 1-gen-2016 | Jungers, R. M; D'Innocenzo, Alessandro; DI BENEDETTO, MARIA DOMENICA | |
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 | |
Critical Observability for 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 |