| Publication | Date of Publication | Type |
|---|
Data-driven models of monotone systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Synthesis of input-to-state attractivity controllers for transition systems with disturbances
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
From relaxed constraint satisfaction to p-invariance of sets
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Nonlinear model predictive control based on \(K\)-step control invariant sets
European Journal of Control | 2024-12-12 | Paper |
| A joint spectral radius for \(\omega\)-regular language-driven switched linear systems | 2024-10-01 | Paper |
| Layers update of neural network control via event-triggering mechanism | 2024-10-01 | Paper |
An automata theoretic approach to observer design for switched linear systems
Automatica | 2024-07-03 | Paper |
Nonstandard anti-windup approach for event-triggered control purpose
Systems & Control Letters | 2024-05-17 | Paper |
Stability of discrete-time switched linear systems with ω-regular switching sequences
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Safe learning-based model predictive control using the compatible models approach
European Journal of Control | 2023-11-23 | Paper |
Abstraction Refinement for Attractivity Controllers Using Quantitative Synthesis
IEEE Transactions on Automatic Control | 2023-10-09 | Paper |
Abstraction of Continuous-Time Systems Based on Feedback Controllers and Mixed Monotonicity
IEEE Transactions on Automatic Control | 2023-10-06 | Paper |
Event-triggered neural network control using quadratic constraints for perturbed systems
Automatica | 2023-09-15 | Paper |
Data-driven modeling of the temporal evolution of breakers' states in the French electrical transmission grid
Nonlinear Analysis. Hybrid Systems | 2022-10-14 | Paper |
Stability of shuffled switched linear systems: A joint spectral radius approach
Automatica | 2022-07-26 | Paper |
Formal controller synthesis from specifications given by discrete-time hybrid automata
Automatica | 2021-11-19 | Paper |
Assume-guarantee contracts for continuous-time systems
Automatica | 2021-11-19 | Paper |
Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
Automatica | 2021-04-20 | Paper |
Singular perturbation approach for linear coupled ODE-PDE systems
Delays and Interconnections: Methodology, Algorithms and Applications | 2020-07-03 | Paper |
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
Acta Informatica | 2020-03-06 | Paper |
Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems
Automatica | 2019-04-24 | Paper |
Optimal multirate sampling in symbolic models for incrementally stable switched systems
Automatica | 2019-02-05 | Paper |
Formal controller synthesis from hybrid programs
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems
Automatica | 2018-10-17 | Paper |
Event-Based Boundary Control of a Linear <inline-formula> <tex-math notation="LaTeX">$2\times 2$ </tex-math> </inline-formula> Hyperbolic System via Backstepping Approach
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
scientific article; zbMATH DE number 6936882 (Why is no real title available?)
(available as arXiv preprint) | 2018-09-14 | Paper |
Stability analysis of a general class of singularly perturbed linear hybrid systems
Automatica | 2018-06-14 | Paper |
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Automatica | 2018-01-12 | Paper |
Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
Nonlinear Analysis. Hybrid Systems | 2017-10-04 | Paper |
Multiagent Flocking Under General Communication Rule
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Opinion Dynamics With Decaying Confidence: Application to Community Detection in Graphs
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Approximation Metrics for Discrete and Continuous Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Towards a Multiresolution Approach to Linear Control
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Scheduling of embedded controllers under timing contracts
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Verification and synthesis of timing contracts for embedded controllers
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Dynamic Triggering Mechanisms for Event-Triggered Control
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Synthesis of switching controllers using approximately bisimilar multiscale abstractions
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Compositionality results for cardiac cell dynamics
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
On the Stabilizability of Discrete-Time Switched Linear Systems: Novel Conditions and Comparisons
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Coordination in Networks of Linear Impulsive Agents
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Singular Perturbation Approximation of Linear Hyperbolic Systems of Balance Laws
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
An optimisation approach for stability analysis and controller synthesis of linear hyperbolic systems
European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations | 2016-12-02 | Paper |
Robust controlled invariance for monotone systems: application to ventilation regulation in buildings
Automatica | 2016-06-03 | Paper |
Event-based control of linear hyperbolic systems of conservation laws
Automatica | 2016-06-03 | Paper |
Singular perturbation approximation by means of a \(H^2\) Lyapunov function for linear hyperbolic systems
Systems & Control Letters | 2016-03-04 | Paper |
Clustered model reduction of positive directed networks
Automatica | 2015-11-30 | Paper |
Tikhonov theorem for linear hyperbolic systems
Automatica | 2015-11-26 | Paper |
Switching rules for stabilization of linear systems of conservation laws
SIAM Journal on Control and Optimization | 2015-06-24 | Paper |
Consensus with constrained convergence rate and time-delays
Time Delay Systems: Methods, Applications and New Trends | 2014-10-24 | Paper |
Low-complexity quantized switching controllers using approximate bisimulation
Nonlinear Analysis. Hybrid Systems | 2014-07-24 | Paper |
Continuous-time consensus under persistent connectivity and slow divergence of reciprocal interaction weights
SIAM Journal on Control and Optimization | 2013-09-26 | Paper |
| Stability of switched linear hyperbolic systems by Lyapunov techniques (full version) | 2013-07-18 | Paper |
Computation of polytopic invariants for polynomial dynamical systems using linear programming
Automatica | 2013-01-21 | Paper |
Approximate bisimulation: a bridge between computer science and control theory
European Journal of Control | 2012-12-08 | Paper |
Reachability analysis of polynomial systems using linear programming relaxations
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming
Systems & Control Letters | 2012-09-14 | Paper |
Controller synthesis for safety and reachability via approximate bisimulation
Automatica | 2012-08-27 | Paper |
Reachability analysis of linear systems using support functions
Nonlinear Analysis. Hybrid Systems | 2010-08-19 | Paper |
Reachability Analysis of Hybrid Systems Using Support Functions
Computer Aided Verification | 2009-06-30 | Paper |
Bounded and Unbounded Safety Verification Using Bisimulation Metrics
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Hierarchical control system design using approximate simulation
Automatica | 2009-04-23 | Paper |
Temporal logic motion planning for dynamic robots
Automatica | 2009-04-22 | Paper |
Approximately Bisimilar Finite Abstractions of Stable Linear Systems
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Approximately bisimilar symbolic models for nonlinear control systems
Automatica | 2009-03-02 | Paper |
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Approximate simulation relations for hybrid systems
Discrete Event Dynamic Systems | 2008-08-20 | Paper |
Temporal Logic Verification Using Simulation
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Approximate bisimulation relations for constrained linear systems
Automatica | 2008-01-21 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Hybridization methods for the analysis of nonlinear systems
Acta Informatica | 2007-03-05 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 1956619 (Why is no real title available?) | 2003-07-30 | Paper |
Memoryless concretization relation
(available as arXiv preprint) | N/A | Paper |
