| Publication | Date of Publication | Type |
|---|
Koopman-Based Learning of Infinitesimal Generators without Operator Logarithm
(available as arXiv preprint) | N/A | Paper |
Learning regions of attraction in unknown dynamical systems via Zubov-Koopman lifting: regularities and convergence
IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
| Physics-informed neural networks for stability analysis and control with formal guarantees | 2025-04-25 | Paper |
| LyZNet: a lightweight Python tool for learning and verifying neural Lyapunov functions and regions of attraction | 2025-04-25 | Paper |
Physics-informed neural network Lyapunov functions: PDE characterization, learning, and verification
Automatica | 2025-03-17 | Paper |
Stochastic Lyapunov-barrier functions for robust probabilistic reach-avoid-stay specifications
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
A generalized Nyquist-Shannon sampling theorem using the Koopman operator
IEEE Transactions on Signal Processing | 2024-09-16 | Paper |
| Learning Regions of Attraction in Unknown Dynamical Systems via Zubov-Koopman Lifting: Regularities and Convergence | 2023-11-25 | Paper |
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
Nonlinear Analysis. Hybrid Systems | 2023-07-18 | Paper |
| Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems | 2023-03-07 | Paper |
| Formal Methods for Control of Nonlinear Systems | 2023-02-13 | Paper |
Robustly complete finite-state abstractions for verification of stochastic systems
(available as arXiv preprint) | 2023-01-18 | Paper |
Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications
Automatica | 2022-08-23 | Paper |
A note on the equivalence of a strongly convex function and its induced contractive differential equation
Automatica | 2022-07-05 | Paper |
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
(available as arXiv preprint) | 2022-05-03 | Paper |
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
Nonlinear Analysis. Hybrid Systems | 2022-04-08 | Paper |
| A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees | 2022-04-05 | Paper |
| Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability | 2022-03-24 | Paper |
| Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions | 2022-03-23 | Paper |
Converse Barrier Functions via Lyapunov Functions
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control
IEEE Transactions on Automatic Control | 2022-02-23 | Paper |
A Matrosov Theorem for Hybrid Systems With Memory
IEEE Transactions on Automatic Control | 2022-02-23 | Paper |
Stability analysis for networked control systems with sampling, transmission protocols and input delays
Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
On the convergence of reinforcement learning with Monte Carlo exploring starts
Automatica | 2021-11-18 | Paper |
Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay
Journal of the Franklin Institute | 2021-09-28 | Paper |
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays
International Journal of Control | 2021-03-18 | Paper |
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
| Structured Online Learning-based Control of Continuous-time Nonlinear Systems | 2020-10-20 | Paper |
| A Necessary Condition on Chain Reachable Robustness of Dynamical Systems | 2020-05-04 | Paper |
ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
Discrete Event Dynamic Systems | 2018-10-02 | Paper |
Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
Hybrid dynamical systems with finite memory
Recent Results on Nonlinear Delay Control Systems | 2018-04-18 | Paper |
Hybrid systems with memory: existence and well-posedness of generalized solutions
SIAM Journal on Control and Optimization | 2018-03-16 | Paper |
Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems with Reach-and-Stay Specifications
(available as arXiv preprint) | 2018-02-25 | Paper |
Augmented finite transition systems as abstractions for control synthesis
Discrete Event Dynamic Systems | 2018-01-31 | Paper |
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Robust abstractions for control synthesis: completeness via robustness for linear-time properties
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
On synthesizing robust discrete controllers under modeling uncertainty
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Abstraction, discretization, and robustness in temporal logic control of dynamical systems
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Stability Theorems for Delay Differential Inclusions
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Lyapunov-Based Sufficient Conditions for Stability of Hybrid Systems With Memory
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Finite abstractions with robustness margins for temporal logic-based control synthesis
Nonlinear Analysis. Hybrid Systems | 2016-09-09 | Paper |
Invariance principles for hybrid systems with memory
Nonlinear Analysis. Hybrid Systems | 2016-05-19 | Paper |
Stability and stabilization of impulsive and switched hybrid stochastic delay systems
The Journal of Nonlinear Sciences and Applications | 2015-12-03 | Paper |
Exponential stability of switched stochastic delay systems with non-linear uncertainties
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2014-07-21 | Paper |
| Stability of uncertain switched distributed parameter systems with multiple time-varying delays | 2014-04-07 | Paper |
Intermittent impulsive synchronization of hyperchaos with application to secure communication
Asian Journal of Control | 2014-02-25 | Paper |
Chaos entanglement: a new approach to generate chaos
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2013-08-22 | Paper |
| A family of novel chaotic and hyperchaotic attractors from delay differential equation | 2013-05-24 | Paper |
On asymptotic convergence and boundedness of stochastic systems with time-delay
Automatica | 2013-01-21 | Paper |
Class-\(\mathcal K \mathcal L\) estimates and input-to-state stability analysis of impulsive switched systems
Systems & Control Letters | 2012-09-14 | Paper |
Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations
Information Sciences | 2012-06-04 | Paper |
Stochastic consensus seeking with communication delays
Automatica | 2012-03-05 | Paper |
| Existence and uniqueness results for impulsive hybrid stochastic delay systems | 2011-07-04 | Paper |
Input-to-state stability of impulsive and switching hybrid systems with time-delay
Automatica | 2011-06-01 | Paper |
Generalized invariance principles for switched delay systems
IMA Journal of Mathematical Control and Information | 2011-05-06 | Paper |
Impulsive stabilization of stochastic functional differential equations
Applied Mathematics Letters | 2011-01-18 | Paper |
On the \((h_0,h)\)-stabilization of switched nonlinear systems via state-dependent switching rule
Applied Mathematics and Computation | 2010-11-18 | Paper |
| Invariance principles for impulsive switched systems | 2009-12-21 | Paper |
Uniform stability of switched nonlinear systems
Nonlinear Analysis. Hybrid Systems | 2009-11-13 | Paper |
| scientific article; zbMATH DE number 5604314 (Why is no real title available?) | 2009-09-16 | Paper |
| Robust exponential stability of uncertain switched stochastic systems with time-delay | 2009-07-06 | Paper |
Delay-dependent robust control for uncertain switched systems with time-delay
Nonlinear Analysis. Hybrid Systems | 2009-03-09 | Paper |
