Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (ISIC, 2005)

Error Detection within a Specific Time Horizon and Application to Air Traffic Management. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (CDC/ECC, 2005)

Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (ADHS, 2006)

Observability of Hybrid Automata by Abstraction. - Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Stefano Di Gennaro (HSCC, 2006)

Modeling and design of control algorithms over wireless networks. - Maria Domenica Di Benedetto; Alessandro D'Innocenzo; Claudia Rinaldi; Fortunato Santucci; Emmanuele Serra (CCA, 2007)

Diagnosability verification for hybrid automata and durational graphs. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (CDC, 2007)

Approximate timed abstractions of hybrid automata. - Alessandro D'Innocenzo; A. Agung Julius; Maria Domenica Di Benedetto; George J. Pappas (CDC, 2007)

Verification of temporal properties on hybrid automata by simulation relations. - Alessandro D'Innocenzo; A. Agung Julius; George J. Pappas; Maria Domenica Di Benedetto; Stefano Di Gennaro (CDC, 2007)

The Concept of Deadlock and Livelock in Hybrid Control Systems. - Alessandro Abate; Alessandro D'Innocenzo; Giordano Pola; Maria Domenica Di Benedetto; Shankar Sastry 001 (HSCC, 2007)

Diagnosability Verification for Hybrid Automata. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (HSCC, 2007)

Automatic verification of wireless control in a mining ventilation system. - Maria Domenica Di Benedetto; Alessandro D'Innocenzo; Emmanuele Serra; Emmanuel Witrant (CASE, 2008)

Diagnosability of hybrid automata with measurement uncertainty. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (CDC, 2008)

Approximate abstractions of discrete-time controlled stochastic hybrid systems. - Alessandro D'Innocenzo; Alessandro Abate; Maria Domenica Di Benedetto (CDC, 2008)

Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. - Alessandro Abate; Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Shankar Sastry 001 (HSCC, 2008)

Scalable scheduling algorithms for wireless networked control systems. - Alessandro D'Innocenzo; Gera Weiss; Rajeev Alur; Alf J. Isaksson; Karl Henrik Johansson; George J. Pappas (CASE, 2009)

Robust stability of multi-hop control networks. - Gera Weiss; Alessandro D'Innocenzo; Rajeev Alur; Karl Henrik Johansson; George J. Pappas (CDC, 2009)

Modeling and Analysis of Multi-hop Control Networks. - Rajeev Alur; Alessandro D'Innocenzo; Karl Henrik Johansson; George J. Pappas; Gera Weiss (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Approximate equivalence and synchronization of metric transition systems. - A. Agung Julius; Alessandro D'Innocenzo; Maria Domenica Di Benedetto; George J. Pappas (Syst. Control. Lett., 2009)

Link failure detection in Multi-Hop Control Networks. - Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Emmanuele Serra (CDC/ECC, 2011)

Fault Tolerant Stabilizability of Multi-Hop Control Networks - Maria Domenica Di Benedetto; Alessandro D'Innocenzo; Emmanuele Serra (CoRR, 2011)

Approximate Abstractions of Stochastic Hybrid Systems. - Alessandro Abate; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2011)

Compositional Modeling and Analysis of Multi-Hop Control Networks. - Rajeev Alur; Alessandro D'Innocenzo; Karl Henrik Johansson; George J. Pappas; Gera Weiss (IEEE Trans. Autom. Control., 2011)

Verification of Hybrid Automata Diagnosability by Abstraction. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (IEEE Trans. Autom. Control., 2011)

Hybrid power control on a wireless networked control system. - Alessandro D'Innocenzo; Claudia Rinaldi; Maria Domenica Di Benedetto; Fortunato Santucci (ADHS, 2012)

Feedback stabilization of dynamical systems with switched delays. - Raphaël M. Jungers; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (CDC, 2012)

Optimal co-design of control, scheduling and routing in multi-hop control networks. - Francesco Smarra; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (CDC, 2012)

Robust PCTL model checking. - Alessandro D'Innocenzo; Alessandro Abate; Joost-Pieter Katoen (HSCC, 2012)

A framework for modeling wireless embedded control systems. - Claudia Rinaldi; Alessandro D'Innocenzo; Fortunato Santucci; Maria Domenica Di Benedetto (ISCCSP, 2012)

Fault detection and isolation of malicious nodes in MIMO Multi-hop Control Networks. - Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Francesco Smarra (CDC, 2013)

Digital self-triggered robust control of nonlinear systems. - Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D'Innocenzo (Int. J. Control, 2013)

Fault Tolerant Control of Multi-Hop Control Networks. - Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Emmanuele Serra (IEEE Trans. Autom. Control., 2013)

Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems. - A. Agung Julius; Alessandro D'Innocenzo (ACC, 2014)

Modeling of traffic congestion and re-routing in a service provider network. - Maria Domenica Di Benedetto; A. Di Loreto; Alessandro D'Innocenzo; T. Ionta (ICC Workshops, 2014)

Fault-tolerant control of a wireless HVAC control system. - Maria Domenica Di Benedetto; Alessandro D'Innocenzo; Francesco Smarra (ISCCSP, 2014)

Modelling, Analysis and Co-Design of Wireless Control Networks. - Maria Domenica Di Benedetto; Alessandro D'Innocenzo (ERCIM News, 2014)

A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays. - Antonio Cicone; Alessandro D'Innocenzo; Nicola Guglielmi; Linda Laglia (CDC, 2015)

Trajectory-based observer for hybrid automata fault diagnosis. - Yi Deng 004; Alessandro D'Innocenzo; A. Agung Julius (CDC, 2015)

Further results on fault detection and isolation of malicious nodes in Multi-hop Control Networks. - Alessandro D'Innocenzo; Francesco Smarra; Maria Domenica Di Benedetto (ECC, 2015)

Approximation methods for optimal network coding in a multi-hop control network with packet losses. - Francesco Smarra; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (ECC, 2015)

Probabilistic diagnosability of hybrid systems. - Yi Deng 004; A. Agung Julius; Alessandro D'Innocenzo (HSCC, 2015)

On stability of time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (CDC, 2016)

Resilient stabilization of Multi-Hop Control Networks subject to malicious attacks. - Alessandro D'Innocenzo; Francesco Smarra; Maria Domenica Di Benedetto (Autom., 2016)

Cyber-Physical Systems Security: a Systematic Mapping Study. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Ivano Malavolta; Maria Domenica Di Benedetto (CoRR, 2016)

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty. - Yi Deng 004; Alessandro D'Innocenzo; Maria Domenica Di Benedetto; Stefano Di Gennaro; A. Agung Julius (IEEE Trans. Autom. Control., 2016)

Controllability of Linear Systems With Switching Delays. - Raphaël M. Jungers; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2016)

Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Alessandro Abate; Maria Domenica Di Benedetto (CDC, 2017)

Approximate Abstractions of Markov Chains with Interval Decision Processes. - Yuriy Zacchia Lun; Jack Wheatley; Alessandro D'Innocenzo; Alessandro Abate (ADHS, 2018)

Data-driven Switched Affine Modeling for Model Predictive Control. - Francesco Smarra; Achin Jain; Rahul Mangharam; Alessandro D'Innocenzo (ADHS, 2018)

Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version). - Yuriy Zacchia Lun; Jack Wheatley; Alessandro D'Innocenzo; Alessandro Abate (CoRR, 2018)

On the stability of coupled differential-difference systems with multiple time-varying delays: a positivity-based approach. - Vittorio De Iuliis; Alessandro D'Innocenzo; Alfredo Germani; Costanzo Manes (CDC, 2019)

Stabilizability of Markov jump linear systems modeling wireless networked control scenarios. - Yuriy Zacchia Lun; Alessandro D'Innocenzo (CDC, 2019)

Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro Abate; Alessandro D'Innocenzo (ECC, 2019)

Work in Progress: Systematic Derivation of Accurate Analytic Markov Channel Models for Industrial Control. - Amal Alrish; Yuriy Zacchia Lun; Alessandro D'Innocenzo; Fortunato Santucci (WFCS, 2019)

Robust stability of polytopic time-inhomogeneous Markov jump linear systems. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (Autom., 2019)

Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems (extended version). - Yuriy Zacchia Lun; Alessandro Abate; Alessandro D'Innocenzo (CoRR, 2019)

Stabilizability of Markov jump linear systems modeling wireless networked control scenarios (extended version). - Yuriy Zacchia Lun; Alessandro D'Innocenzo (CoRR, 2019)

State of the art of cyber-physical systems security: An automatic control perspective. - Yuriy Zacchia Lun; Alessandro D'Innocenzo; Francesco Smarra; Ivano Malavolta; Maria Domenica Di Benedetto (J. Syst. Softw., 2019)

An entropy-based sensor selection algorithm for structural damage detection. - Jimmy Tjen; Francesco Smarra; Alessandro D'Innocenzo (CASE, 2020)

Sufficient Lyapunov conditions for pth moment ISS of discrete-time Markovian Switching Systems. - Anastasia Impicciatore; Alessandro D'Innocenzo; Pierdomenico Pepe (CDC, 2020)

Learning SDN traffic flow accurate models to enable queue bandwidth dynamic optimization. - Enrico Reticcioli; Giovanni Domenico Di Girolamo; Francesco Smarra; Alessio Carmenini; Alessandro D'Innocenzo; Fabio Graziosi (EuCNC, 2020)

On the impact of accurate radio link modeling on the performance of WirelessHART control networks. - Yuriy Zacchia Lun; Claudia Rinaldi; Amal Alrish; Alessandro D'Innocenzo; Fortunato Santucci (INFOCOM, 2020)

NeurOpt: Neural network based optimization for building energy management and climate control. - Achin Jain; Francesco Smarra; Enrico Reticcioli; Alessandro D'Innocenzo; Manfred Morari (L4DC, 2020)

Learning Models for Seismic-Induced Vibrations Optimal Control in Structures via Random Forests. - Francesco Smarra; Giovanni Domenico Di Girolamo; Vincenzo Gattulli; Fabio Graziosi; Alessandro D'Innocenzo (J. Optim. Theory Appl., 2020)

On the Stability of Switched ARX Models, with an Application to Learning via Regression Trees. - Vittorio De Iuliis; Francesco Smarra; Costanzo Manes; Alessandro D'Innocenzo (ADHS, 2021)

Optimal output-feedback control and separation principle for Markov jump linear systems modeling wireless networked control scenarios. - Anastasia Impicciatore; Yuriy Zacchia Lun; Pierdomenico Pepe; Alessandro D'Innocenzo (ACC, 2021)

A Neural Network Approach for Efficient Finite Control Set MPC of Cascaded H-Bridge STATCOM. - Francesco Simonetti; Giovanni Domenico Di Girolamo; Alessandro D'Innocenzo; Carlo Cecati (IECON, 2021)

Sufficient Lyapunov conditions for exponential mean square stability of discrete-time systems with markovian delays. - Anastasia Impicciatore; Maria Teresa Grifa; Pierdomenico Pepe; Alessandro D'Innocenzo (MED, 2021)

A Comparison of Classical Identification and Learning-Based Techniques for Cyber-Physical Systems. - Vittorio De Iuliis; Giovanni Domenico Di Girolamo; Francesco Smarra; Alessandro D'Innocenzo (MED, 2021)

Learning Markov models of fading channels in wireless control networks: a regression trees based approach. - Luis Felipe Florenzan Reyes; Francesco Smarra; Yuriy Zacchia Lun; Alessandro D'Innocenzo (MED, 2021)

Optimal output-feedback control and separation principle for Markov jump linear systems modeling wireless networked control scenarios (extended version). - Anastasia Impicciatore; Yuriy Zacchia Lun; Pierdomenico Pepe; Alessandro D'Innocenzo (CoRR, 2021)

Sufficient Lyapunov conditions for exponential mean square stability of discrete-time systems with markovian delays (extended version). - Anastasia Impicciatore; Maria Teresa Grifa; Pierdomenico Pepe; Alessandro D'Innocenzo (CoRR, 2021)

Stability Analysis of Coupled Differential-Difference Systems With Multiple Time-Varying Delays: A Positivity-Based Approach. - Vittorio De Iuliis; Alessandro D'Innocenzo; Alfredo Germani; Costanzo Manes (IEEE Trans. Autom. Control., 2021)

An Edge-Based Machine Learning-Enabled Approach in Structural Health Monitoring for Public Protection. - Claudia Rinaldi; Francesco Smarra; Fabio Franchi; Alessandro D'Innocenzo (FNWF, 2022)

Reduced SARX modeling and control via Regression Trees. - Luis Felipe Florenzan Reyes; Francesco Smarra; Alessandro D'Innocenzo (ACC, 2022)

Secure state estimation over Markov wireless communication channels. - Anastasia Impicciatore; Anastasios Tsiamis; Yuriy Zacchia Lun; Alessandro D'Innocenzo; George J. Pappas (CDC, 2022)

First-moment stability of Markov Jump Linear Systems with homogeneous and inhomogeneous transition probabilities. - Vittorio De Iuliis; Costanzo Manes; Alessandro D'Innocenzo (CDC, 2022)

Machine Learning-based Approaches Comparison for Netfiix/DAZN Streaming and Real Traffic Prediction. - Enrico Reticcioli; Giovanni Domenico Di Girolamo; Cristhian Di Carlo; Francesco Smarra; Alessandro D'Innocenzo (GLOBECOM, 2022)

Data-driven efficient digital signal processing over a field trial space-division multiplexed fiber-optic transmission. - Luis Felipe Florenzan Reyes; Francesco Smarra; Roland Ryf; Tetsuya Hayashi; Andrea Marotta; Cristian Antonelli; Alessandro D'Innocenzo (ICCCN, 2022)

Modeling and Control of Priority Queueing in Software Defined Networks via Machine Learning. - Enrico Reticcioli; Giovanni Domenico Di Girolamo; Francesco Smarra; Angelo Torzi; Fabio Graziosi; Alessandro D'Innocenzo (IEEE Access, 2022)

Secure state estimation over Markov wireless communication channels (extended version). - Anastasia Impicciatore; Anastasios Tsiamis; Yuriy Zacchia Lun; Alessandro D'Innocenzo; George J. Pappas (CoRR, 2022)

CADET: Control-Aware Dynamic Edge Computing for Real-Time Target Tracking in UAV Systems. - Luis Felipe Florenzan Reyes; Francesco Smarra; Alessandro D'Innocenzo; Marco Levorato (ICASSP, 2023)

Neural Network Model-Predictive Control for CHB Converters With FPGA Implementation. - Francesco Simonetti; Alessandro D'Innocenzo; Carlo Cecati (IEEE Trans. Ind. Informatics, 2023)

Lyapunov Characterizations of Exponential Mean Square Input-to-State Stability for Discrete-Time Markovian Switching Nonlinear Systems. - Anastasia Impicciatore; Pierdomenico Pepe; Alessandro D'Innocenzo (IEEE Trans. Autom. Control., 2023)

Learning Piecewise ARX Models via Regression Trees with Probabilistic Guarantees. - Alessandro D'Innocenzo; Francesco Smarra (ECC, 2024)

Co-Designing Wireless Networked Control Systems on IEEE 802.15.4-Based Links Under Wi-Fi Interference. - Yuriy Zacchia Lun; Claudia Rinaldi; Alessandro D'Innocenzo; Fortunato Santucci (IEEE Access, 2024)

Robust Linear Quadratic Regulation Over Polytopic Time-Inhomogeneous Markovian Channels Under Generalized Packet Dropout Compensation. - Yuriy Zacchia Lun; Fortunato Santucci; Alessandro D'Innocenzo (IEEE Control. Syst. Lett., 2024)

Optimal Output-Feedback Control Over Markov Wireless Communication Channels. - Anastasia Impicciatore; Yuriy Zacchia Lun; Pierdomenico Pepe; Alessandro D'Innocenzo (IEEE Trans. Autom. Control., 2024)

Simple Explicit Solution of Finite Control Set Model Predictive Control for Cascaded H-Bridge Inverters. - Francesco Simonetti; Alessandro D'Innocenzo; Carlo Cecati (IEEE Trans. Ind. Electron., 2024)

Optimal control over Markovian wireless communication channels under generalized packet dropout compensation. - Yuriy Zacchia Lun; Francesco Smarra; Alessandro D'Innocenzo (Autom., 2025)

Wireless Control With Channel State Detection and Message Dropout Compensation. - Yuriy Zacchia Lun; Fortunato Santucci; Alessandro D'Innocenzo (IEEE Control. Syst. Lett., 2025)