| Publication | Date of Publication | Type |
|---|
Runtime verifiable implementation of recurring switching rules via signal temporal logic: industrial power system case study
Nonlinear Analysis. Hybrid Systems | 2026-09-18 | Paper |
Temporal logic resilience for continuous-time systems
Nonlinear Analysis. Hybrid Systems | 2026-07-24 | Paper |
Temporal logic resilience for dynamical systems
IEEE Transactions on Automatic Control | 2026-07-10 | Paper |
Certified Reachable Sets for Nonlinear Reaction--Diffusion Systems
(available as arXiv preprint) | 2026-06-23 | Paper |
Small-gain theorem-based stability analysis of two-dimensional systems with time delays
Journal of the Franklin Institute | 2026-03-20 | Paper |
Symbolic control: unveiling free robustness margins
European Journal of Control | 2026-01-15 | Paper |
Nagumo-Type Characterization of Forward Invariance for Constrained Systems
(available as arXiv preprint) | 2026-01-01 | Paper |
H² Stabilization of the 2-D and 3-D Heat Equation via Modal Decomposition
(available as arXiv preprint) | 2026-01-01 | Paper |
How Much Spatial Control Is Enough? Subdomain Optimal Control of Reaction-Diffusion Systems in Synthetic Developmental Biology
(available as arXiv preprint) | 2026-01-01 | Paper |
Turing patterns in a morphogenetic model with single regulatory function
Mathematical Biosciences | 2025-10-21 | Paper |
Controller synthesis of collaborative signal temporal logic tasks for multiagent systems via assume-guarantee contracts
IEEE Transactions on Automatic Control | 2025-10-06 | Paper |
Hybrid persistency of excitation in adaptive estimation for hybrid systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Sufficient conditions for robust safety in differential inclusions using barrier functions
Automatica | 2025-01-08 | Paper |
An optimal-control framework for reaction diffusion systems with application to synthetic developmental biology
(available as arXiv preprint) | 2025-01-01 | Paper |
Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems
MCSS. Mathematics of Control, Signals, and Systems | 2024-02-07 | Paper |
| Hybrid Persistency of Excitation in Adaptive Estimation for Hybrid Systems | 2023-01-13 | Paper |
Learning-based symbolic abstractions for nonlinear control systems
Automatica | 2022-11-14 | Paper |
Asymptotic error in Euler's method with a constant step size
European Journal of Control | 2022-11-09 | Paper |
| Sufficient Conditions for Robust Safety in Differential Inclusions Using Barrier Functions | 2022-08-23 | 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 |
| A symbolic approach to the self-triggered design for networked control systems | 2019-08-10 | Paper |
Optimal multirate sampling in symbolic models for incrementally stable switched systems
Automatica | 2019-02-05 | Paper |
A symbolic approach to the self-triggered design for networked control systems
(available as arXiv preprint) | 2019-01-01 | Paper |
