References

  1. Zvi Artstein (1983): Stabilization with relaxed controls. Nonlinear Analysis: Theory, Methods & Applications 7(11), pp. 1163 – 1173, doi:10.1016/0362-546X(83)90049-4. Available at http://www.sciencedirect.com/science/article/pii/0362546X83900494.
  2. Rayna Dimitrova & Rupak Majumdar (2014): Deductive control synthesis for alternating-time logics. In: 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014, pp. 14:1–14:10, doi:10.1145/2656045.2656054.
  3. Sicun Gao, Soonho Kong & Edmund M. Clarke (2013): dReal: An SMT Solver for Nonlinear Theories over the Reals. In: Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings, pp. 208–214, doi:10.1007/978-3-642-38574-2_14. Available at https://doi.org/10.1007/978-3-642-38574-2_14.
  4. L. El Ghaoui & V. Balakrishnan (1994): Synthesis of fixed-structure controllers via numerical optimization. In: Proceedings of 1994 33rd IEEE Conference on Decision and Control 3, pp. 2678–2683 vol.3, doi:10.1109/CDC.1994.411398.
  5. A. Girard, G. Pola & P. Tabuada (2010): Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. IEEE Transactions on Automatic Control 55(1), pp. 116–126, doi:10.1109/TAC.2009.2034922.
  6. L. C. G. J. M. Habets, P. J. Collins & J. H. van Schuppen (2006): Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Transactions on Automatic Control 51(6), pp. 938–948, doi:10.1109/TAC.2006.876952.
  7. L.C.G.J.M. Habets & J.H. van Schuppen (2004): A control problem for affine dynamical systems on a full-dimensional polytope. Automatica 40(1), pp. 21 – 35, doi:10.1016/j.automatica.2003.08.001. Available at http://www.sciencedirect.com/science/article/pii/S0005109803002620.
  8. M. K. Helwa & M. E. Broucke (2011): Monotonic reach control on polytopes, pp. 4741–4746, doi:10.1109/CDC.2011.6160866.
  9. Z. Huang, Y. Wang, S. Mitra, G. E. Dullerud & S. Chaudhuri (2015): Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 7434–7439, doi:10.1109/CDC.2015.7403394.
  10. Manuel Mazo Jr., Anna Davitian & Paulo Tabuada (2010): PESSOA: A Tool for Embedded Controller Synthesis. In: Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, pp. 566–569, doi:10.1007/978-3-642-14295-6_49. Available at https://doi.org/10.1007/978-3-642-14295-6_49.
  11. M. Kloetzer & C. Belta (2008): A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. IEEE Transactions on Automatic Control 53(1), pp. 287–297, doi:10.1109/TAC.2007.914952.
  12. Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung & Ming Gu (2013): Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. In: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, pp. 242–257, doi:10.1007/978-3-642-39799-8_17. Available at https://doi.org/10.1007/978-3-642-39799-8_17.
  13. Daniel Liberzon (2012): Switching in systems and control. Springer Science & Business Media, doi:10.1007/978-1-4612-0017-8.
  14. Z. Lin & M. E. Broucke (2007): Reachability and control of affine hypersurface systems on polytopes. In: 2007 46th IEEE Conference on Decision and Control, pp. 733–738, doi:10.1109/CDC.2007.4434805.
  15. J. Liu, N. Ozay, U. Topcu & R. M. Murray (2013): Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. IEEE Transactions on Automatic Control 58(7), pp. 1771–1785, doi:10.1109/TAC.2013.2246095.
  16. Sebti Mouelhi, Antoine Girard & Gregor Gössler (2012): CoSyMA: A Tool for Controller Synthesis Using Multi-scale Abstractions. Research Report RR-8108. INRIA. Available at https://hal.inria.fr/hal-00743982.
  17. Sebti Mouelhi, Antoine Girard & Gregor Gößler (2013): CoSyMA: a tool for controller synthesis using multi-scale abstractions. In: Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pp. 83–88, doi:10.1145/2461328.2461343.
  18. Leonardo Mendonça de Moura & Nikolaj Bjørner (2008): Z3: An Efficient SMT Solver. In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 337–340, doi:10.1007/978-3-540-78800-3_24. Available at https://doi.org/10.1007/978-3-540-78800-3_24.
  19. P. Nilsson & N. Ozay (2014): Incremental synthesis of switching protocols via abstraction refinement. In: 53rd IEEE Conference on Decision and Control, pp. 6246–6253, doi:10.1109/CDC.2014.7040368.
  20. N. Ozay, J. Liu, P. Prabhakar & R. M. Murray (2013): Computing augmented finite transition systems to synthesize switching protocols for polynomial switched systems. In: 2013 American Control Conference, pp. 6237–6244, doi:10.1109/ACC.2013.6580816.
  21. S. Prajna, A. Papachristodoulou & P. A. Parrilo (2002): Introducing SOSTOOLS: a general purpose sum of squares programming solver. In: Proceedings of the 41st IEEE Conference on Decision and Control, 2002. 1, pp. 741–746 vol.1, doi:10.1109/CDC.2002.1184594.
  22. H. Ravanbakhsh & S. Sankaranarayanan (2015): Counter-Example Guided Synthesis of control Lyapunov functions for switched systems. In: 2015 54th IEEE Conference on Decision and Control (CDC), pp. 4232–4239, doi:10.1109/CDC.2015.7402879.
  23. Hadi Ravanbakhsh & Sriram Sankaranarayanan (2016): Robust Controller Synthesis of Switched Systems Using Counterexample Guided Framework. In: Proceedings of the 13th International Conference on Embedded Software, EMSOFT '16. ACM, pp. 8:1–8:10, doi:10.1145/2968478.2968485.
  24. Bartek Roszak & Mireille E. Broucke (2006): Necessary and sufficient conditions for reachability on a simplex. Automatica 42(11), pp. 1913 – 1918, doi:10.1016/j.automatica.2006.06.003. Available at http://www.sciencedirect.com/science/article/pii/S0005109806002445.
  25. Matthias Rungger & Majid Zamani (2016): SCOTS: A Tool for the Synthesis of Symbolic Controllers. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pp. 99–104, doi:10.1145/2883817.2883834.
  26. Armando Solar Lezama (2008): Program Synthesis By Sketching. EECS Department, University of California, Berkeley. Available at http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-177.html.
  27. Eduardo D. Sontag (1989): A ‘universal’ construction of Artstein's theorem on nonlinear stabilization. Systems & Control Letters 13(2), pp. 117 – 123, doi:10.1016/0167-6911(89)90028-5. Available at http://www.sciencedirect.com/science/article/pii/0167691189900285.
  28. Ankur Taly, Sumit Gulwani & Ashish Tiwari (2011): Synthesizing switching logic using constraint solving. STTT 13(6), pp. 519–535, doi:10.1007/s10009-010-0172-8. Available at https://doi.org/10.1007/s10009-010-0172-8.
  29. Ankur Taly & Ashish Tiwari (2010): Switching logic synthesis for reachability. In: Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010, pp. 19–28, doi:10.1145/1879021.1879025.
  30. Weehong Tan & Andrew Packard (2004): Searching for control Lyapunov functions using sums of squares programming. In: Allerton conference on communication, control and computing, pp. 210–219.
  31. Y. Tazaki & J. i. Imura (2012): Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis. IEEE Transactions on Automatic Control 57(3), pp. 550–564, doi:10.1109/TAC.2011.2161789.
  32. Wolfgang Thomas & Thomas Wilke (2002): Automata, logics, and infinite games: a guide to current research 2500. Springer Science & Business Media, doi:10.1007/3-540-36387-4.
  33. Peter Wieland & Frank Allgöwer (2007): CONSTRUCTIVE SAFETY USING CONTROL BARRIER FUNCTIONS. IFAC Proceedings Volumes 40(12), pp. 462 – 467, doi:10.3182/20070822-3-ZA-2920.00076. Available at http://www.sciencedirect.com/science/article/pii/S1474667016355690. 7th IFAC Symposium on Nonlinear Control Systems.
  34. T. Wongpiromsarn, U. Topcu & A. Lamperski (2016): Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. IEEE Transactions on Automatic Control 61(11), pp. 3344–3355, doi:10.1109/TAC.2015.2511722.
  35. Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu & Richard M. Murray (2011): TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, HSCC '11. ACM, New York, NY, USA, pp. 313–314, doi:10.1145/1967701.1967747.
  36. Xiangru Xu, Paulo Tabuada, Jessy W. Grizzle & Aaron D. Ames (2015): Robustness of Control Barrier Functions for Safety Critical Control**This work is partially supported by the National Science Foundation Grants 1239055, 1239037 and 1239085.. IFAC-PapersOnLine 48(27), pp. 54 – 61, doi:10.1016/j.ifacol.2015.11.152. Available at http://www.sciencedirect.com/science/article/pii/S2405896315024106. Analysis and Design of Hybrid Systems ADHS.
  37. M. Zamani, G. Pola, M. Mazo & P. Tabuada (2012): Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. IEEE Transactions on Automatic Control 57(7), pp. 1804–1809, doi:10.1109/TAC.2011.2176409.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org