Paulo Tabuada

IEEE Trans. Autom. Control., July, 2023

Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., May, 2023

Synthesis of Large-Scale Instant IoT Networks.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., March, 2023

Sharp Performance Bounds for PASTA.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Taming AI Bots: Controllability of Neural States in Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2022

Joint Continuous and Discrete Model Selection via Submodularity.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2022

Sampled-Data Stabilization With Control Lyapunov Functions via Quadratically Constrained Quadratic Programs.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Safety and Stability Guarantees for Control Loops With Deep Learning Perception.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices.

[BibT_eX]

[DOI]

CoRR, 2022

Learning to control from expert demonstrations.

[BibT_eX]

[DOI]

CoRR, 2022

Dirty derivatives for output feedback stabilization.

[BibT_eX]

[DOI]

Matteo Marchi

CoRR, 2022

On the computational complexity of the secure state-reconstruction problem.

[BibT_eX]

[DOI]

Autom., 2022

Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

LiDAR Point Cloud Registration with Formal Guarantees.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Decentralized Learning Robust to Data Poisoning Attacks.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Give the problem a lift: solving quadratic programs with combinatorial costs.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Symmetries and Isomorphisms for Privacy in Control Over the Cloud.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Distortion-Based Lightweight Security for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

From LTL to rLTL monitoring: improved monitorability through robust semantics.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Control Barrier Function-Based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria.

[BibT_eX]

[DOI]

Matheus F. Reis

A. Pedro Aguiar

IEEE Control. Syst. Lett., 2021

Secure State-Reconstruction Over Networks Subject to Attacks.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

Decentralized Secure State-Tracking in Multi-Agent Systems.

[BibT_eX]

[DOI]

Yanwen Mao

CoRR, 2021

Controlled invariant sets: implicit closed-form representations and applications.

[BibT_eX]

[DOI]

CoRR, 2021

Split to win: near-optimal sensor network synthesis via path-greedy subproblems.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE Military Communications Conference, 2021

Training deep residual networks for uniform approximation guarantees.

[BibT_eX]

[DOI]

Matteo Marchi

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets.

[BibT_eX]

[DOI]

Luigi Pannocchi

Tzanis Anevlavis

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Learned Uncertainty Calibration for Visual Inertial Localization.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Universal approximation power of deep residual neural networks via nonlinear control theory.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

Exploiting the experts: Learning to control unknown SISO feedback linearizable systems from expert demonstrations <sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Decentralized Resilient State-Tracking.

[BibT_eX]

[DOI]

Yanwen Mao

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

An enhanced hierarchy for (robust) controlled invariance.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2020

Universal Approximation Power of Deep Neural Networks via Nonlinear Control Theory.

[BibT_eX]

[DOI]

CoRR, 2020

Distortion based Light-weight Security for Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Data-driven Stabilization of SISO Feedback Linearizable Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Securing state reconstruction under sensor and actuator attacks: Theory and design.

[BibT_eX]

[DOI]

Autom., 2020

Preface for the SYNT.

[BibT_eX]

[DOI]

Roderick Bloem

Acta Informatica, 2020

Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Rapid Top-Down Synthesis of Large-Scale IoT Networks.

[BibT_eX]

[DOI]

Pradipta Ghosh

Dimitrios Pylorof

Marcos Augusto M. Vieira

Proceedings of the 29th International Conference on Computer Communications and Networks, 2020

A simple hierarchy for computing controlled invariant sets.

[BibT_eX]

[DOI]

Tzanis Anevlavis

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

A coding approach to localization using landmarks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2020

Privacy Against Adversarial Classification in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Carlos Murguia

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Why not both? Exact continuous and discrete optimization with submodularity.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

To beam or not to beam? Beamforming with submodularity-inspired group sparsity.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Supervisory Control of Discrete-Event Systems Under Attacks.

[BibT_eX]

[DOI]

Masashi Wakaiki

João P. Hespanha

Dyn. Games Appl., 2019

A Note on Data-Driven Control for SISO Feedback Linearizable Systems Without Persistency of Excitation.

[BibT_eX]

[DOI]

CoRR, 2019

Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design.

[BibT_eX]

[DOI]

CoRR, 2019

Data driven stability analysis of black-box switched linear systems.

[BibT_eX]

[DOI]

Autom., 2019

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Evrostos: the rLTL verifier.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Control Barrier Functions: Theory and Applications.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

Data-driven control for SISO feedback linearizable systems with unknown control gain.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Symmetries and privacy in control over the cloud: uncertainty sets and side knowledge.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Plausible deniability as a notion of privacy.

[BibT_eX]

[DOI]

Nima Monshizadeh

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

When is the Secure State-Reconstruction Problem Hard?

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Computing controlled invariant sets in two moves.

[BibT_eX]

[DOI]

Tzanis Anevlavis

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Non-local Linearization of Nonlinear Differential Equations via Polyflows.

[BibT_eX]

[DOI]

Raphaël M. Jungers

Proceedings of the 2019 American Control Conference, 2019

2018

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Xiaoqing Jin

James Kapinski

ACM Trans. Embed. Comput. Syst., 2018

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks.

[BibT_eX]

[DOI]

João Pedro Hespanha

ACM Trans. Cyber Phys. Syst., 2018

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2018

Mode-Target Games: Reactive Synthesis for Control Applications.

[BibT_eX]

[DOI]

Moshe Y. Vardi

IEEE Trans. Autom. Control., 2018

SMC: Satisfiability Modulo Convex Programming.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Toward an Internet of Battlefield Things: A Resilience Perspective.

[BibT_eX]

[DOI]

Computer, 2018

Periodic event-triggered control of nonlinear systems using overapproximation techniques.

[BibT_eX]

[DOI]

Autom., 2018

Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Computer Communication and Networks, 2018

Towards the use of Symmetries to Ensure Privacy in Control Over the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications.

[BibT_eX]

[DOI]

Omar Hussien

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Deciding Stability of a Switched System Without Identifying It.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Verifying rLTL formulas: now faster than ever before!

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Distorting an Adversary's View in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Computing controlled invariant sets for hybrid systems with applications to model-predictive control.

[BibT_eX]

[DOI]

Benoît Legat

Raphaël M. Jungers

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Secure State Estimation Against Sensor Attacks in the Presence of Noise.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2017

Correction to "Compositional Transient Stability Analysis of Multimachine Power Networks".

[BibT_eX]

[DOI]

Sina Yamac Caliskan

IEEE Trans. Control. Netw. Syst., 2017

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach.

[BibT_eX]

[DOI]

Alberto Puggelli

IEEE Trans. Autom. Control., 2017

Computing Robust Controlled Invariant Sets of Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Control Barrier Function Based Quadratic Programs for Safety Critical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Guest editorial: special issue on formal methods in control.

[BibT_eX]

[DOI]

Necmiye Ozay

Discret. Event Dyn. Syst., 2017

Abstracting Partially Feedback Linearizable Systems Compositionally.

[BibT_eX]

[DOI]

Omar Hussien

Aaron D. Ames

IEEE Control. Syst. Lett., 2017

PrOLoc: resilient localization with private observers using partial homomorphic encryption.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017

PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017

SMC: Satisfiability Modulo Convex Optimization.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Data-driven control for feedback linearizable single-input systems.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

An SMT-based approach to secure state estimation under sensor and actuator attacks.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Improving sparsity in time and space via self-triggered sparse optimal controllers.

[BibT_eX]

[DOI]

MirSaleh Bahavarnia

Christoforos Somarakis

Nader Motee

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Control Technology and Applications, 2017

Closed-form controlled invariant sets for pedestrian avoidance.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Correct-by-Construction Adaptive Cruise Control: Two Approaches.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2016

Event-Triggered State Observers for Sparse Sensor Noise/Attacks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

A Notion of Robustness for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems.

[BibT_eX]

[DOI]

CoRR, 2016

Underminer: a framework for automatically identifying non-converging behaviors in black box system models.

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Xiaoqing Jin

James Kapinski

Proceedings of the 2016 International Conference on Embedded Software, 2016

Self-triggered controllers and hard real-time guarantees.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Robust Linear Temporal Logic.

[BibT_eX]

[DOI]

Daniel Neider

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

System identification in the presence of adversarial outputs.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Scalable lazy SMT-based motion planning.

[BibT_eX]

[DOI]

Indranil Saha

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Privacy-aware quadratic optimization using partially homomorphic encryption.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Decomposing controller synthesis for safety specifications.

[BibT_eX]

[DOI]

Eric Dallal

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Synthesis of safety controllers robust to unmodeled intermittent disturbances.

[BibT_eX]

[DOI]

Eric Dallal

Daniel Neider

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Secure system identification.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015

Event-Triggered and Self-Triggered Control.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Systems and Control, 2015

A Framework for the Event-Triggered Stabilization of Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Non-invasive Spoofing Attacks for Anti-lock Braking Systems.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks.

[BibT_eX]

[DOI]

Nicola Bezzo

CoRR, 2015

Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Information Theory, 2015

First steps toward formal controller synthesis for bipedal robots.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving.

[BibT_eX]

[DOI]

Nicola Bezzo

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Comparing asynchronous l-complete approximations and quotient based abstractions.

[BibT_eX]

[DOI]

Anne-Kathrin Schmuck

Jörg Raisch

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Attack-resilient state estimation in the presence of noise.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On compositional symbolic controller synthesis inspired by small-gain theorems.

[BibT_eX]

[DOI]

Eric Dallal

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Uses and abuses of the swing equation model.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving.

[BibT_eX]

[DOI]

Alberto Puggelli

Proceedings of the American Control Conference, 2015

Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

Robustness of Control Barrier Functions for Safety Critical Control.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

Controller Synthesis for Mode-Target Games.

[BibT_eX]

[DOI]

Moshe Y. Vardi

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2014

Compositional Transient Stability Analysis of Multimachine Power Networks.

[BibT_eX]

[DOI]

Sina Yamac Caliskan

IEEE Trans. Control. Netw. Syst., 2014

Towards Robustness for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Guest Editorial Special Issue on Control of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Claire J. Tomlin

IEEE Trans. Autom. Control., 2014

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

[BibT_eX]

[DOI]

Hamza Fawzi

IEEE Trans. Autom. Control., 2014

Minimum attention control for linear systems - A linear programming approach.

[BibT_eX]

[DOI]

M. C. F. Donkers

Discret. Event Dyn. Syst., 2014

Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach.

[BibT_eX]

[DOI]

Alberto Puggelli

CoRR, 2014

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.

[BibT_eX]

[DOI]

CoRR, 2014

Self-triggered linear quadratic control.

[BibT_eX]

[DOI]

Autom., 2014

Towards Kron reduction of generalized electrical networks.

[BibT_eX]

[DOI]

Sina Yamac Caliskan

Autom., 2014

Robustness of attack-resilient state estimators.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Abstracting and refining robustness for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Discounting the past in robust finite-state systems.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Secure state estimation and control using multiple (insecure) observers.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Control barrier function based quadratic programs with application to adaptive cruise control.

[BibT_eX]

[DOI]

Aaron D. Ames

Jessy W. Grizzle

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

A theory of robust omega-regular software synthesis.

[BibT_eX]

[DOI]

Elaine Render

ACM Trans. Embed. Comput. Syst., 2013

Compositional Transient Stability Analysis of Multi-Machine Power Networks.

[BibT_eX]

[DOI]

CoRR, 2013

Synthesis of platform-aware attack-resilient vehicular systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Minimax control for cyber-physical systems under network packet scheduling attacks.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

Towards synthesis of platform-aware attack-resilient control systems: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

A symbolic approach to the design of robust cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Periodic event-triggered control for nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Towards a compositional analysis of multi-machine power systems transient stability.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Exploiting Isochrony in Self-Triggered Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Kron Reduction of Generalized Electrical Networks

[BibT_eX]

[DOI]

CoRR, 2012

Input-output robustness for discrete systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

Scaling up controller synthesis for linear systems and safety specifications.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An introduction to event-triggered and self-triggered control.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Security for control systems under sensor and actuator attacks.

[BibT_eX]

[DOI]

Hamza Fawzi

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Kron reduction of power networks with lossy and dynamic transmission lines.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Dynamic programming formulation of periodic event-triggered control: Performance Guarantees and co-design.

[BibT_eX]

[DOI]

Duarte Antunes

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Backstepping Design for Incremental Stability.

[BibT_eX]

[DOI]

Majid Zamani

IEEE Trans. Autom. Control., 2011

Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2011

Symbolic approximate time-optimal control.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2011

A theory of robust software synthesis

[BibT_eX]

[DOI]

Elaine Render

CoRR, 2011

On the Minimum Attention and the Anytime Attention Control Problems for Linear Systems: A Linear Programming Approach

[BibT_eX]

[DOI]

M. C. F. Donkers

CoRR, 2011

Pessoa 2.0: a controller synthesis tool for cyber-physical systems.

[BibT_eX]

[DOI]

Pritam Roy

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Robust discrete synthesis against unspecified disturbances.

[BibT_eX]

[DOI]

Elaine Render

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Self-triggered control over wireless sensor and actuator networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2011

Event-triggered and self-triggered stabilization of distributed networked control systems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

On the minimum attention control problem for linear systems: A linear programming approach.

[BibT_eX]

[DOI]

M. C. F. Donkers

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Secure state-estimation for dynamical systems under active adversaries.

[BibT_eX]

[DOI]

Hamza Fawzi

Proceedings of the 49th Annual Allerton Conference on Communication, 2011

2010

To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.

[BibT_eX]

[DOI]

Antoine Girard

IEEE Trans. Autom. Control., 2010

Symbolic models for nonlinear time-delay systems using approximate bisimulations.

[BibT_eX]

[DOI]

Maria Domenica Di Benedetto

Pierdomenico Pepe

Syst. Control. Lett., 2010

Safety-Guarantee Controller Synthesis for Cyber-Physical Systems

[BibT_eX]

[DOI]

Pritam Roy

CoRR, 2010

An ISS self-triggered implementation of linear controllers.

[BibT_eX]

[DOI]

Autom., 2010

Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Automatic verification of control system implementations.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

Towards backstepping design for incremental stability.

[BibT_eX]

[DOI]

Majid Zamani

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

On the minimum attention and anytime attention problems for nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

PESSOA: A Tool for Embedded Controller Synthesis.

[BibT_eX]

[DOI]

Anna Davitian

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Symbolic models for unstable nonlinear control systems.

[BibT_eX]

[DOI]

Majid Zamani

Proceedings of the American Control Conference, 2010

Approximate time-optimal control via approximate alternating simulations.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2010

2009

Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2009

On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

On self-triggered control for linear systems: Guarantees and complexity.

[BibT_eX]

[DOI]

Adolfo Anta

Proceedings of the 10th European Control Conference, 2009

A symbolic model approach to the digital control of nonlinear time-delay systems.

[BibT_eX]

[DOI]

Maria Domenica Di Benedetto

Pierdomenico Pepe

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Input-to-state stability of self-triggered control systems.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Isochronous manifolds in self-triggered control.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Verification and Control of Hybrid Systems - A Symbolic Approach.

[BibT_eX]

[DOI]

Springer, ISBN: 978-1-4419-0223-8, 2009

2008

An Approximate Simulation Approach to Symbolic Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

Approximate reduction of dynamic systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2008

Controller synthesis for bisimulation equivalence.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2008

Approximately bisimilar symbolic models for nonlinear control systems.

[BibT_eX]

[DOI]

Antoine Girard

Autom., 2008

Symbolic models for nonlinear control systems affected by disturbances.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

On event-triggered and self-triggered control over sensor/actuator networks.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Space-time scaling laws for self-triggered control.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Self-triggered stabilization of homogeneous control systems.

[BibT_eX]

[DOI]

Adolfo Anta

Proceedings of the American Control Conference, 2008

2007

Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2007

Symbolic models for control systems.

[BibT_eX]

[DOI]

Acta Informatica, 2007

Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

On Simulations and Bisimulations of General Flow Systems.

[BibT_eX]

[DOI]

Jennifer M. Davoren

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Symbolic models for linear control systems with disturbances.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Symbolic models for nonlinear control systems using approximate bisimulation.

[BibT_eX]

[DOI]

Antoine Girard

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

Linear Time Logic Control of Discrete-Time Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

Symbolic control of linear systems based on symbolic subsystems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

Local factorization of trajectory lifting morphisms for single-input affine control systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2006

Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708].

[BibT_eX]

[DOI]

Autom., 2006

[BibT_eX]

[DOI]

Autom., 2006

On the Stability of Zeno Equilibria.

[BibT_eX]

[DOI]

Aaron D. Ames

Shankar Sastry

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Preliminary results on state-trigered scheduling of stabilizing control tasks.

[BibT_eX]

[DOI]

Xiaofeng Wang

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Approximate Reduction of Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Motion feasibility of multi-agent formations.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2005

Bisimulation relations for dynamical, control, and hybrid systems.

[BibT_eX]

[DOI]

Esfandiar Haghverdi

Theor. Comput. Sci., 2005

Quotients of Fully Nonlinear Control Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2005

Hierarchical trajectory refinement for a class of nonlinear systems.

[BibT_eX]

[DOI]

Autom., 2005

Sensor/Actuator Abstractions for Symbolic Embedded Control Design.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

On the factorization of trajectory lifting maps.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Symbolic sub-systems and symbolic control of linear systems.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Bisimilar control affine systems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2004

Compositional Abstractions of Hybrid Control Systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2004

Open Maps, Alternating Simulations and Control Synthesis.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

From nonlinear to Hamiltonian via feedback.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

Abstractions of Hamiltonian control systems.

[BibT_eX]

[DOI]

Autom., 2003

Model Checking LTL over Controllable Linear Systems Is Decidable.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 2003

Hierarchical trajectory generation for a class of nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

From discrete specifications to hybrid control.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Finite bisimulations of controllable linear systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Bisimulation Relations for Dynamical and Control Systems.

[BibT_eX]

[DOI]

Esfandiar Haghverdi

Proceedings of the Category Theory and Computer Science, 2002

Composing Abstractions of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Discrete synchronization of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Hybrid Abstractions that Preserve Timed Languages.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hybrid abstractions: A search and rescue case study.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

Cyclic directed formations of multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

Feasible formations of multi-agent systems.

[BibT_eX]

[DOI]