D'INNOCENZO, ALESSANDRO

D'INNOCENZO, ALESSANDRO  

Dipartimento di Ingegneria e scienze dell informazione e matematica  

Mostra records
Risultati 1 - 20 di 110 (tempo di esecuzione: 0.02 secondi).
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