| Data-Driven Abstractions With Probabilistic Guarantees for Linear PETC Systems | 0 | 0.34 | 2023 |
| Mean Field Behavior of Collaborative Multiagent Foragers | 0 | 0.34 | 2022 |
| ETCetera: beyond Event-Triggered Control | 1 | 0.36 | 2022 |
| A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence | 0 | 0.34 | 2022 |
| Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications | 0 | 0.34 | 2022 |
| Region-Based Self-Triggered Control for Perturbed and Uncertain Nonlinear Systems | 0 | 0.34 | 2021 |
| Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers | 1 | 0.36 | 2021 |
| Self-Triggered Output-Feedback Control of LTI Systems Subject to Disturbances and Noise | 0 | 0.34 | 2020 |
| Traffic Abstractions of Nonlinear Homogeneous Event-Triggered Control Systems | 0 | 0.34 | 2020 |
| Lyapunov Event-triggered Stabilization with a Known Convergence Rate | 2 | 0.36 | 2020 |
| Isochronous Partitions for Region-Based Self-Triggered Control. | 0 | 0.34 | 2019 |
| Communication Schemes for Centralized and Decentralized Event-Triggered Control Systems. | 4 | 0.54 | 2018 |
| Optimal Symbolic Controllers Determinization for BDD storage | 1 | 0.41 | 2018 |
| Formal Synthesis Of Analytic Controllers For Sampled-Data Systems Via Genetic Programming | 0 | 0.34 | 2018 |
| Lyapunov Design for Event-Triggered Exponential Stabilization. | 2 | 0.35 | 2018 |
| Decentralized periodic event-triggered control with quantization and asynchronous communication. | 6 | 0.49 | 2018 |
| Formal Traffic Characterization of LTI Event-Triggered Control Systems. | 3 | 0.40 | 2018 |
| Symbolic Abstractions of Networked Control Systems. | 3 | 0.42 | 2018 |
| Periodic Asynchronous Event-Triggered Control | 1 | 0.48 | 2017 |
| Traffic Models Of Periodic Event-Triggered Control Systems | 0 | 0.34 | 2017 |
| Simple synchronization protocols for heterogeneous networks: beyond passivity (extended version). | 0 | 0.34 | 2017 |
| Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. | 0 | 0.34 | 2016 |
| Evaluation of Decentralized Event-Triggered Control Strategies for Cyber-Physical Systems. | 0 | 0.34 | 2016 |
| Timing Abstraction of Perturbed LTI systems with ℒ2-based Event-Triggering Mechanism. | 0 | 0.34 | 2016 |
| Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata. | 0 | 0.34 | 2016 |
| Technical Report: Timing Abstraction of Perturbed LTI systems with L2-based Event-Triggering Mechanism. | 0 | 0.34 | 2016 |
| Aperiodic Consensus Control for Tracking Nonlinear Trajectories of a Platoon of Vehicles | 1 | 0.36 | 2015 |
| Symbolic Models for Networked Control Systems. | 1 | 0.37 | 2014 |
| Finite abstractions of networked control systems | 10 | 0.53 | 2014 |
| Adaptive self-triggered control of a remotely operated P3-DX robot: Simulation and experimentation. | 6 | 0.46 | 2014 |
| System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems | 48 | 1.34 | 2014 |
| Specification-guided controller synthesis for linear systems and safe linear-time temporal logic | 20 | 1.06 | 2013 |
| Design of reward structures for sequential decision-making processes using symbolic analysis | 0 | 0.34 | 2013 |
| Asynchronous decentralized event-triggered control. | 31 | 1.37 | 2012 |
| Decentralized Event-Triggered Control with One Bit Communications | 10 | 0.78 | 2012 |
| Adaptive Self-triggered Control of a Remotely Operated Robot. | 6 | 0.58 | 2012 |
| Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. | 80 | 2.55 | 2012 |
| Decentralized Event-Triggered Control With Asynchronous Updates | 18 | 1.55 | 2011 |
| Self-triggered control over wireless sensor and actuator networks | 7 | 0.59 | 2011 |
| Decentralized event-triggered control over wireless sensor/actuator networks | 202 | 9.61 | 2011 |
| An ISS self-triggered implementation of linear controllers | 70 | 4.93 | 2010 |
| PESSOA: A Tool for Embedded Controller Synthesis | 51 | 2.47 | 2010 |
| On self-triggered control for linear systems: Guarantees and complexity | 42 | 4.21 | 2009 |
| On event-triggered and self-triggered control over sensor/actuator networks | 46 | 7.03 | 2008 |
