Approximate current state observability of discrete-time nonlinear systems under cyber-attacks

Synthesis of Supervisors Robust Against Sensor Deception Attacks

(2021) Romulo Meira-Goes et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

A multi-observer based estimation framework for nonlinear systems under sensor attacks

(2020) Tianci Yang et al.   AUTOMATICA

Control of Cyber-Physical-Systems with logic specifications: A formal methods approach

(2019) Giordano Pola et al.   ANNUAL REVIEWS IN CONTROL

Design of Symbolic Controllers for Networked Control Systems

(2018) Alessandro Borri et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Detection of Sensor Attack and Resilient State Estimation for Uniformly Observable Nonlinear Systems having Redundant Sensors

(2018) Junsoo Kim et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Secure State Estimation Against Sparse Sensor Attacks with Adaptive Switching Mechanism

(2017) Liwei An et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Secure estimation for cyber-physical systems with adversarial attacks and unknown inputs: An L 2 -gain method

(2017) Chun-Hua Xie et al.   INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL

Symbolic Models for Networks of Control Systems

(2016) Giordano Pola et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks

(2014) Hamza Fawzi et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Integrated Design of Symbolic Controllers for Nonlinear Systems

(2011) G. Pola et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

(2011) Majid Zamani et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations

(2009) Giordano Pola et al.   SIAM JOURNAL ON CONTROL AND OPTIMIZATION