| Lazy controller synthesis for monotone transition systems and directed safety specifications | 0 | 0.34 | 2022 |
| Stability of shuffled switched linear systems: A joint spectral radius approach | 0 | 0.34 | 2022 |
| Stability of discrete-time switched linear systems with ω-regular switching sequences | 0 | 0.34 | 2022 |
| Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach | 0 | 0.34 | 2021 |
| Symbolic Observer-Based Controller for Uncertain Nonlinear Systems | 0 | 0.34 | 2021 |
| Efficient Data-Driven Abstraction of Monotone Systems with Disturbances | 0 | 0.34 | 2021 |
| Assume-guarantee contracts for continuous-time systems | 0 | 0.34 | 2021 |
| Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems | 0 | 0.34 | 2021 |
| Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications | 0 | 0.34 | 2021 |
| Symbolic Models for a Class of Impulsive Systems | 0 | 0.34 | 2021 |
| Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration | 0 | 0.34 | 2021 |
| Formal controller synthesis from specifications given by discrete-time hybrid automata | 0 | 0.34 | 2021 |
| Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions | 0 | 0.34 | 2020 |
| Guest Editorial Introduction to the Special Issue of the IEEE L-CSS on Learning and Control | 0 | 0.34 | 2020 |
| Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems. | 1 | 0.37 | 2019 |
| Lyapunov Functions for Shuffle Asymptotic Stability of Discrete-Time Switched Systems | 0 | 0.34 | 2019 |
| Safety Controller Design For Incrementally Stable Switched Systems Using Event-Based Symbolic Models | 0 | 0.34 | 2019 |
| A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems | 0 | 0.34 | 2019 |
| Formal Controller Synthesis from Hybrid Programs. | 0 | 0.34 | 2018 |
| Symbolic models for incrementally stable switched systems with aperiodic time sampling. | 0 | 0.34 | 2018 |
| Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. | 1 | 0.36 | 2018 |
| Compositional Synthesis for Symbolic Control. | 0 | 0.34 | 2018 |
| On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance | 2 | 0.40 | 2018 |
| Safety control, a quantitative approach. | 1 | 0.37 | 2018 |
| LMI-based design of dynamic event-triggering mechanism for linear systems | 1 | 0.35 | 2018 |
| Optimal multirate sampling in symbolic models for incrementally stable switched systems. | 0 | 0.34 | 2018 |
| Contract Based Design Of Symbolic Controllers For Interconnected Multiperiodic Sampled-Data Systems | 0 | 0.34 | 2018 |
| Stability analysis of a general class of singularly perturbed linear hybrid systems. | 5 | 0.43 | 2018 |
| Event-Based Boundary Control of a Linear $2\times 2$ Hyperbolic System via Backstepping Approach. | 3 | 0.39 | 2018 |
| Compositional abstraction and safety synthesis using overlapping symbolic models. | 10 | 0.89 | 2018 |
| Language constrained stabilization of discrete-time switched linear systems: an LMI approach. | 0 | 0.34 | 2018 |
| Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems | 3 | 0.49 | 2018 |
| Dynamic Boundary Control Synthesis Of Coupled Pde-Odes For Communication Networks Under Fluid Flow Modeling | 0 | 0.34 | 2017 |
| Scheduling of Embedded Controllers Under Timing Contracts. | 2 | 0.38 | 2017 |
| Design of O(ε) dwell-time graph for stability of singularly perturbed hybrid linear systems. | 0 | 0.34 | 2017 |
| On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons | 20 | 0.90 | 2016 |
| Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws. | 3 | 0.39 | 2016 |
| Singular perturbation approximation by means of a H2 Lyapunov function for linear hyperbolic systems | 0 | 0.34 | 2016 |
| Stability Analysis Of Singularly Perturbed Switched And Impulsive Linear Systems | 0 | 0.34 | 2016 |
| Robust controlled invariance for monotone systems: Application to ventilation regulation in buildings. | 3 | 0.40 | 2016 |
| Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models. | 8 | 0.83 | 2016 |
| Language Constrained Stabilization Of Discrete-Time Switched Linear Systems: A Lyapunov-Metzler Inequalities Approach | 0 | 0.34 | 2016 |
| Event-based control of linear hyperbolic systems of conservation laws. | 14 | 0.62 | 2016 |
| Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis | 0 | 0.34 | 2015 |
| Safety control with performance guarantees of cooperative systems using compositional abstractions. | 0 | 0.34 | 2015 |
| Symbolic control of monotone systems application to ventilation regulation in buildings | 0 | 0.34 | 2015 |
| Switching Rules for Stabilization of Linear Systems of Conservation Laws. | 5 | 0.48 | 2015 |
| Tikhonov theorem for linear hyperbolic systems | 10 | 0.71 | 2015 |
| Multiagent Flocking Under General Communication Rule | 14 | 0.63 | 2014 |
| Coordination in networks of linear impulsive agents. | 8 | 0.52 | 2014 |
