Periodic Report Summary 1 - CONTROL-CPS (Reactive control protocols for cyber-physical systems)
The project aims to develop the enabling theory and algorithms for the model-based formal synthesis of correct, robust, reactive control protocols for cyber-physical systems from high-level, rigorous specifications. The individual measurable objectives are:
1. To develop a hybrid systems based modelling framework for networked cyber-physical systems.
2. To formally specify a rich class of properties pertinent to the safe and autonomous operation of cyber-physical systems.
3. To develop algorithms for the automated, formal synthesis of correct, robust, reactive controllers for cyber-physical systems.
4. To validate and demonstrate the correct-by-construction methodology with numerical simulations and physical experiments.
The work performed since the beginning of the project include the following papers published in or submitted to peer-reviewed international journals and conferences:
[1] Jun Liu and Necmiye Ozay. Finite abstractions with robustness margins for temporal logic-based control synthesis. Nonlinear Analysis: Hybrid Systems, under review.
[2] Jun Liu and Andrew R. Teel. Hybrid systems with memory: Existence of generalized solutions and well-posedness. SIAM Journal on Control and Optimization, under review.
[3] Kun-Zhi Liu, Xi-Ming Sun, Jun Liu, and Andrew R. Teel. Stability theorems for delay differential inclusions. IEEE Transactions on Automatic Control, under review.
[4] Yan He, Xi-Ming Sun, Jun Liu, and Andrew R. Teel. Stability analysis for homogeneous hybrid systems with delays. IEEE Transactions on Automatic Control, under review.
[5] Jun Liu and Andrew R. Teel. Invariance principles for hybrid systems with memory. Nonlinear Analysis: Hybrid Systems, to appear, available at http://dx.doi.org/10.1016/j.nahs.2015.08.003
[6] Jun Liu and Andrew R. Teel. Lyapunov-based sufficient conditions for stability of hybrid systems with memory. IEEE Transactions on Automatic Control, to appear, available at http://dx.doi.org/10.1109/TAC.2015.2460031
[7] Yinan Li and Jun Liu. An algorithmic approach to robust invariance control synthesis for discrete-time switched systems. The 2016 International Conference on Hybrid Systems: Computation and Control (HSCC), submitted.
[8] Pablo Ordonez, Jun Liu, Tony J. Dodd, Andy R. Mills. Modelling and verification of discrete LTI systems using timed automata with an application in engine power management. Technical report, in preparation for submission.
[9] Yinan Li, Jun Liu, and Necmiye Ozay. Computing finite abstractions with robustness margins via local reachable set over-approximation. The 2015 IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).
[10] Yinan Li and Jun Liu. Switching control of differential-algebraic equations with temporal logic specifications. The 2015 American Control Conference (ACC).
[11] Erick Lucio, Jun Liu, and Tony J. Dodd. An interactive approach to monocular SLAM. The 2015 Towards Autonomous Robotic Systems (TAROS) Conference.
[12] Kun-Zhi Liu, Xi-Ming Sun, Wei Wang, and Jun Liu. Invariance principles for delay differential inclusions. The 2015 Chinese Control and Decision Conference (CCDC). (Zhang Si-Ying Outstanding Youth Paper Award)
[13] Jun Liu and Andrew R. Teel. Hybrid systems with memory: Modelling and stability analysis via generalized solutions. The 2014 World Congress of the International Federation of Automatic Control (IFAC).
[14] Jun Liu and Necmiye Ozay. Abstraction, discretization, and robustness in temporal logic control of nonlinear systems. The 2014 International Conference on Hybrid Systems: Computation and Control (HSCC; part of the seventh Cyber Physical Systems (CPS) Week).
[15] Jun Liu and Pavithra Prabhakar. Switching control of dynamical systems from metric temporal logic specifications. The 2014 IEEE International Conference on Robotics and Automation (ICRA).
The main results achieved in these papers include a fundamentally new framework for modelling cyber-physical systems using hybrid systems with delays [2-6,12,13], abstraction-based methods for control of cyber-physical systems [1,7,9,10,14], applications in robotics [11,15] and power systems [8].
1. To develop a hybrid systems based modelling framework for networked cyber-physical systems.
2. To formally specify a rich class of properties pertinent to the safe and autonomous operation of cyber-physical systems.
3. To develop algorithms for the automated, formal synthesis of correct, robust, reactive controllers for cyber-physical systems.
4. To validate and demonstrate the correct-by-construction methodology with numerical simulations and physical experiments.
The work performed since the beginning of the project include the following papers published in or submitted to peer-reviewed international journals and conferences:
[1] Jun Liu and Necmiye Ozay. Finite abstractions with robustness margins for temporal logic-based control synthesis. Nonlinear Analysis: Hybrid Systems, under review.
[2] Jun Liu and Andrew R. Teel. Hybrid systems with memory: Existence of generalized solutions and well-posedness. SIAM Journal on Control and Optimization, under review.
[3] Kun-Zhi Liu, Xi-Ming Sun, Jun Liu, and Andrew R. Teel. Stability theorems for delay differential inclusions. IEEE Transactions on Automatic Control, under review.
[4] Yan He, Xi-Ming Sun, Jun Liu, and Andrew R. Teel. Stability analysis for homogeneous hybrid systems with delays. IEEE Transactions on Automatic Control, under review.
[5] Jun Liu and Andrew R. Teel. Invariance principles for hybrid systems with memory. Nonlinear Analysis: Hybrid Systems, to appear, available at http://dx.doi.org/10.1016/j.nahs.2015.08.003
[6] Jun Liu and Andrew R. Teel. Lyapunov-based sufficient conditions for stability of hybrid systems with memory. IEEE Transactions on Automatic Control, to appear, available at http://dx.doi.org/10.1109/TAC.2015.2460031
[7] Yinan Li and Jun Liu. An algorithmic approach to robust invariance control synthesis for discrete-time switched systems. The 2016 International Conference on Hybrid Systems: Computation and Control (HSCC), submitted.
[8] Pablo Ordonez, Jun Liu, Tony J. Dodd, Andy R. Mills. Modelling and verification of discrete LTI systems using timed automata with an application in engine power management. Technical report, in preparation for submission.
[9] Yinan Li, Jun Liu, and Necmiye Ozay. Computing finite abstractions with robustness margins via local reachable set over-approximation. The 2015 IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).
[10] Yinan Li and Jun Liu. Switching control of differential-algebraic equations with temporal logic specifications. The 2015 American Control Conference (ACC).
[11] Erick Lucio, Jun Liu, and Tony J. Dodd. An interactive approach to monocular SLAM. The 2015 Towards Autonomous Robotic Systems (TAROS) Conference.
[12] Kun-Zhi Liu, Xi-Ming Sun, Wei Wang, and Jun Liu. Invariance principles for delay differential inclusions. The 2015 Chinese Control and Decision Conference (CCDC). (Zhang Si-Ying Outstanding Youth Paper Award)
[13] Jun Liu and Andrew R. Teel. Hybrid systems with memory: Modelling and stability analysis via generalized solutions. The 2014 World Congress of the International Federation of Automatic Control (IFAC).
[14] Jun Liu and Necmiye Ozay. Abstraction, discretization, and robustness in temporal logic control of nonlinear systems. The 2014 International Conference on Hybrid Systems: Computation and Control (HSCC; part of the seventh Cyber Physical Systems (CPS) Week).
[15] Jun Liu and Pavithra Prabhakar. Switching control of dynamical systems from metric temporal logic specifications. The 2014 IEEE International Conference on Robotics and Automation (ICRA).
The main results achieved in these papers include a fundamentally new framework for modelling cyber-physical systems using hybrid systems with delays [2-6,12,13], abstraction-based methods for control of cyber-physical systems [1,7,9,10,14], applications in robotics [11,15] and power systems [8].