Book Chapter
"Hybrid Dynamical Systems with Finite Memory", Recent Results on Nonlinear Delay Control Systems, pp. 261–273, 2016.
PDF (170.92 KB) ,
Conference Paper
"A Structured Online Learning Approach to Nonlinear Tracking with Unknown Dynamics", American Control Conference (ACC), 2021.
,
"Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability", International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2021.
,
"Control of Nonlinear Systems with Reach-Avoid-Stay Specifications: A Lyapunov-Barrier Approach with an Application to the Moore-Greizer Model", American Control Conference (ACC), 2021.
,
"ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems", IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2021.
,
"Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems", IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2021.
,
"A Necessary Condition on Chain Reachable Robustness of Dynamical Systems", IFAC World Congress, 2020.
,
"pbSGD: Powered Stochastic Gradient Descent Methods for Accelerated Nonconvex Optimization", International Joint Conference on Artificial Intelligence (IJCAI), accepted, 2020.
,
"Structured Online Learning-based Control of Continuous-time Nonlinear Systems", IFAC World Congress, 2020.
,
"Robustly complete reach-and-stay control synthesis for switched systems via interval analysis", American Control Conference (ACC), 2018.
PDF (288.31 KB) ,
"ROCS: A robustly complete control synthesis tool for nonlinear dynamical systems", ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2018.
PDF (775.29 KB) ,
"Sampling-based motion planning with mu-calculus specifications without steering", IEEE International Conference on Robotics and Automation (ICRA), 2018.
,
"Formal verification of a gain scheduling control scheme", Mediterranean Conference on Control and Automation (MED): IEEE, 2017.
,
"Robust abstractions for control synthesis: Completeness via robustness for linear-time properties", ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2017.
PDF (844.42 KB) ,
"An interval analysis approach to invariance control synthesis for discrete-time switched systems", IEEE Conference on Decision and Control (CDC), 2016.
PDF (321.71 KB) ,
"Bisimulations for input-output stability of hybrid systems", IEEE Conference on Decision and Control (CDC), 2016.
PDF (232.34 KB) ,
"Computing maximal invariant sets for switched nonlinear systems", IEEE Multi-Conference on Systems and Control (MSC), 2016.
PDF (208.53 KB) ,
"Sampling-based stochastic optimal control with metric interval temporal logic specifications", IEEE Multi-Conference on Systems and Control (MSC), 2016.
PDF (283.39 KB) ,
"An Interactive Approach to Monocular SLAM", Towards Autonomous Robotic Systems (TAROS), 2015.
PDF (860.37 KB) ,
"Computing finite abstractions with robustness margins via local reachable set over-approximation", IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2015.
PDF (436.03 KB) ,
"Invariance principles for delay differential inclusions", Chinese Control and Decision Conference (CCDC), 2015.
PDF (187.67 KB) ,
"Switching control of differential-algebraic equations with temporal logic specifications", American Control Conference (ACC), 2015.
PDF (373.21 KB) ,
"Abstraction, discretization, and robustness in temporal logic control of dynamical systems", ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2014.
PDF (1.98 MB) ,
"Advances in addressing challenges in complex control systems design", International Conference on Advances in Control and Optimization of Dynamical Systems (ACODS), 2014.
PDF (562.11 KB) ,
"Efficient control synthesis for augmented finite transition systems with an application to switching protocols", American Control Conference (ACC), 2014.
PDF (848.09 KB) ,
"Hybrid systems with memory: modelling and stability analysis via generalized solutions", IFAC World Congress, 2014.
PDF (212.99 KB) ,
"Switching control of dynamical systems from metric temporal logic specifications", IEEE International Conference on Robotics and Automation (ICRA), 2014.
PDF (570.84 KB) ,
"Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems", American Control Conference (ACC), 2013.
PDF (313.19 KB) ,
"Pre-orders for reasoning about stability properties with respect to input of hybrid systems", ACM International Conference on Embedded Software (EMSOFT) , 2013.
PDF (819.67 KB) ,
"Decentralised minimal-time dynamic consensus", American Control Conference (ACC), 2012.
PDF (245.38 KB) ,
"Generalized solutions to hybrid systems with delays", IEEE Conference on Decision and Control (CDC), 2012.
PDF (274.64 KB) ,
"On synthesizing robust discrete controllers under modeling uncertainty", ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2012.
PDF (1.07 MB) ,
"Reactive controllers for differentially flat systems with temporal logic constraints", IEEE Conference on Decision and Control (CDC), 2012.
PDF (546.73 KB) ,
"Switching protocol synthesis for temporal logic specifications", American Control Conference (ACC), 2012.
PDF (791.72 KB) ,
"Extending LaSalle's invariance principle to impulsive switched systems with an application to hybrid epidemic dynamics", Chinese Control and Decision Conference (CCDC), 2010.
PDF (344.03 KB) ,
Conference Proceedings
"Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications", Critical Systems: Formal Methods and Automated Verification, vol. 10471: Springer, pp. 150–164, 2017.
,
"Sampling-based reactive motion planning with temporal logic constraints and imperfect state information", Critical Systems: Formal Methods and Automated Verification, vol. 10471: Springer, pp. 134–149, 2017.
,
Journal Article
"A Matrosov Theorem for Hybrid Systems With Memory", IEEE Transactions on Automatic Control, vol. 66, 2021.
,
"Convergence Analysis of a Continuous-Time Distributed Gradient Descent Algorithm", IEEE Control Systems Letters, vol. 5, 2021.
,
"Converse Barrier Functions via Lyapunov Functions", IEEE Transactions on Automatic Control, 2021.
,
"Event-Triggered Fuzzy Flight Control of a Two-Degree-of-Freedom Helicopter System", IEEE Transactions on Fuzzy Systems , vol. 29, 2021.
,
"On the convergence of reinforcement learning with Monte Carlo Exploring Starts", Automatica, vol. 129, 2021.
,
"Robustly complete synthesis of memoryless controllers for nonlinear systems with reach-and-stay specifications", IEEE Transactions on Automatic Control, vol. 66, 2021.
,
"Stability analysis for networked control systems with sampling, transmission protocols and input delays", Nonlinear Analysis: Hybrid Systems, vol. 39, 2021.
,
"Stabilization of Highly Nonlinear Stochastic Coupled Systems via Periodically Intermittent Control", IEEE Transactions on Automatic Control, vol. 66, 2021.
,
"Practical Stabilization of Networked Takagi-Sugeno Fuzzy Systems via Improved Jensen Inequalities", IEEE Transactions on Cybernetics, 2020.
,
"Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments", The International Journal of Robotics Research, accepted, 2020.
,
"Auditor product and controller synthesis for non-deterministic transition systems with practical LTL specifications", IEEE Transactions on Automatic Control, 2019.
,
"H-infinity load frequency control of networked power systems via an event-triggered scheme", IEEE Transactions on Industrial Electronics, 2019.
,
"Input-to-state stability analysis for homogeneous hybrid systems with bounded time-varying delays", International Journal of Control, 2019.
,
"Nonlinear optimal feedback control and stability analysis of solar photovoltaic systems", IEEE Transactions on Control Systems Technology, 2019.
,
"On the powerball method: variants of descent methods for accelerated optimization", IEEE Control Systems Letters , vol. 3, pp. 601–606, 2019.
,
"Stability analysis for homogeneous hybrid systems with delays", IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2019.
,
"Hybrid systems with memory: existence and well-posedness of generalized solutions", SIAM Journal on Control and Optimization, vol. 56, pp. 1011–1037, 2018.
,
"Invariance control synthesis for switched nonlinear systems: an interval analysis approach", IEEE Transactions on Automatic Control, vol. 63, pp. 2206–2211, 2018.
PDF (255.85 KB) ,
"Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems", Discrete Event Dynamic Systems, vol. 28, pp. 349–374, 2018.
PDF (890.32 KB) ,
"Augmented finite transition systems as abstractions for control synthesis", Journal of Discrete Event Dynamic Systems, vol. 27, pp. 301–340, 2017.
PDF (1.31 MB) ,
"Finite abstractions with robustness margins for temporal logic-based control synthesis", Nonlinear Analysis: Hybrid Systems, vol. 22, pp. 1–15, 2016.
PDF (703.92 KB) ,
"Invariance principles for hybrid systems with memory", Nonlinear Analysis: Hybrid Systems, vol. 21, pp. 130–138, 2016.
PDF (385.21 KB) ,
"Lyapunov-based sufficient conditions for stability of hybrid systems with memory", IEEE Transactions on Automatic Control, vol. 61, pp. 1057–1062, 2016.
PDF (221.91 KB) ,
"Stability theorems for delay differential inclusions", IEEE Transactions on Automatic Control, vol. 61, pp. 3215–3220, 2016.
PDF (259.84 KB) ,
"Chaos entanglement: a new approach to generate chaos", International Journal of Bifurcation and Chaos, vol. 23, 2013.
PDF (2.36 MB) ,
"Distributed stochastic consensus of multi-agent systems with noisy and delayed measurements", IET Control Theory & Applications, vol. 7, pp. 1359–1369, 2013.
PDF (752.66 KB) ,
"Intermittent impulsive synchronization of hyperchaos with application to secure communication", Asian Journal of Control, vol. 15, pp. 1686–1699, 2013.
PDF (1.34 MB) ,
"Synthesis of reactive switching protocols from temporal logic specifications", IEEE Transactions on Automatic Control, pp. 1771–1785, 2013.
PDF (2.71 MB) ,
"A family of novel chaotic and hyperchaotic attractors from delay differential equation", Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications & Algorithms, vol. 19, pp. 411–430, 2012.
PDF (3.88 MB) ,
"Class-KL estimates and input-to-state stability analysis of impulsive switched systems", Systems & Control Letters, vol. 61, pp. 738–746, 2012.
PDF (564.69 KB) ,
"Global convergence of neural networks with mixed time-varying delays and discontinuous neuron activations", Information Sciences, vol. 183, pp. 92–105, 2012.
PDF (445.85 KB) ,
"On asymptotic convergence and boundedness of stochastic systems with time-delay", Automatica , vol. 48, pp. 3166–3172, 2012.
PDF (292.45 KB) ,
"Generalized invariance principles for switched delay systems", IMA Journal of Mathematical Control and Information, vol. 28, pp. 19–39, 2011.
PDF (233.15 KB) ,
"Impulsive stabilization of stochastic functional differential equations", Applied Mathematics Letters, vol. 24, pp. 264–269, 2011.
PDF (1.01 MB) ,
"Input-to-state stability of impulsive and switching hybrid systems with time-delay", Automatica , vol. 47, pp. 899–908, 2011.
PDF (840.22 KB) ,
"Stability and stabilization of impulsive and switched hybrid stochastic delay systems", The Journal of Nonlinear Science and Applications, vol. 4, pp. 315–341, 2011.
PDF (760.98 KB) ,
"Stochastic consensus seeking with communication delays", Automatica , vol. 47, pp. 2689–2696, 2011.
PDF (766.18 KB) ,
"Existence and uniqueness results for impulsive hybrid stochastic delay systems", Communications on Applied Nonlinear Analysis, vol. 17, pp. 37–54, 2010.
PDF (339.88 KB) ,
"On the $(h_0,h)$-stabilization of switched nonlinear systems via state-dependent switching rule", Applied Mathematics and Computation, vol. 217, pp. 2067–2083, 2010.
PDF (2.32 MB) ,
"Exponential stability of switched stochastic delay systems with non-linear uncertainties", International Journal of Systems Science, vol. 40, pp. 637–648, 2009.
,
"Invariance principles for impulsive switched systems", Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications & Algorithms, vol. 16, pp. 631–654, 2009.
,
"Robust stabilization of stochastic switched delay systems via state-dependent switching rule", Dynamic Systems and Applications, vol. 18, pp. 213–239, 2009.
,
"Uniform stability of switched nonlinear systems", Nonlinear Analysis: Hybrid Systems, vol. 3, pp. 441–454, 2009.
,
"Delay-dependent robust control for uncertain switched systems with time-delay", Nonlinear Analysis: Hybrid Systems, vol. 2, pp. 81–95, 2008.
,
Thesis
"Qualitative Studies of Nonlinear Hybrid Systems", Applied Mathematics, vol. Doctor of Philosophy, 2010.
PDF (9.9 MB) ,