References

  1. Federal Aviation Administration (2017): Code of Federal Regulations, Title 14.
  2. Florian D Brunner, TMP Gommans, WPMH Heemels & Frank Allgöwer (2015): Communication Scheduling in Robust Self-Triggered MPC for Linear Discrete-Time Systems. IFAC-PapersOnLine 48(22), pp. 132–137, doi:10.1016/j.ifacol.2015.10.319.
  3. Randal E Bryant (1992): Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys (CSUR) 24(3), pp. 293–318, doi:10.1145/136035.136043.
  4. Mo Chen, Sylvia L Herbert, Mahesh S Vashishtha, Somil Bansal & Claire J Tomlin (2018): A general system decomposition method for computing reachable sets and tubes. IEEE Transactions on Automatic Control, doi:10.1109/TAC.2018.2797194.
  5. Eric Dallal & Paulo Tabuada: Decomposing Controller Synthesis for Safety Specifications. In: CDC2016, doi:10.1109/CDC.2016.7799148.
  6. T.M.P. Gommans & W.P.M.H. Heemels (2015): Resource-aware MPC for constrained nonlinear systems: A self-triggered control approach. Systems and Control Letters 79, pp. 59 – 67, doi:10.1016/j.sysconle.2015.03.003. Available at http://www.sciencedirect.com/science/article/pii/S0167691115000481.
  7. Felix Gruber, Eric S Kim & Murat Arcak (2017): Sparsity-Aware Finite Abstraction. In: CDC2017, doi:10.1109/CDC.2017.8263995.
  8. WPMH Heemels, Karl Henrik Johansson & Paulo Tabuada (2012): An introduction to event-triggered and self-triggered control. In: Decision and Control (CDC), 2012 IEEE 51st Annual Conference on. IEEE, pp. 3270–3285, doi:10.1109/CDC.2012.6425820.
  9. Eric S Kim, Murat Arcak & Sanjit A Seshia (2015): Compositional controller synthesis for vehicular traffic networks. In: Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. IEEE, pp. 6165–6171, doi:10.1109/CDC.2015.7403189.
  10. Pierre-Jean Meyer, Antoine Girard & Emmanuel Witrant (2017): Compositional abstraction and safety synthesis using overlapping symbolic models. IEEE Transactions on Automatic Control, doi:10.1109/TAC.2017.2753039.
  11. Pierluigi Nuzzo, Alberto L Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti & Tiziano Villa (2015): A platform-based design methodology with contracts and related tools for the design of cyber-physical systems. Proceedings of the IEEE 103(11), pp. 2104–2132, doi:10.1109/JPROC.2015.2453253.
  12. Gunther Reissig, Alexander Weber & Matthias Rungger (2017): Feedback refinement relations for the synthesis of symbolic controllers. IEEE Transactions on Automatic Control 62(4), pp. 1781–1796, doi:10.1109/TAC.2016.2593947.
  13. Matthias Rungger & Majid Zamani (2016): Compositional Construction of Approximate Abstractions of Interconnected Control Systems. IEEE Transactions on Control of Network Systems, doi:10.1109/TCNS.2016.2583063.
  14. 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. ACM, pp. 99–104, doi:10.1145/2883817.2883834.
  15. Sadra Sadraddini, János Rudan & Calin Belta (2017): Formal synthesis of distributed optimal traffic control policies. In: Proceedings of the 8th International Conference on Cyber-Physical Systems. ACM, pp. 15–24, doi:10.1145/3055004.3055011.
  16. Paulo Tabuada (2009): Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media, doi:10.1007/978-1-4419-0224-5.
  17. Alfred Tarski (1955): A lattice-theoretical fixpoint theorem and its applications. Pacific journal of Mathematics 5(2), pp. 285–309, doi:10.2140/pjm.1955.5.285.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org