References

1. C. Baier & J. P. Katoen (April 2008): Principles of model checking. The MIT Press.
2. M. B. G. Cloosterman, N. van de Wouw, W. P. M. H. Heemels & H. Nijmeijer (2009): Stability of Networked Control Systems With Uncertain Time-Varying Delays. IEEE Transactions on Automatic Control 54(7), pp. 1575–1580, doi:10.1109/TAC.2009.2015543.
3. W. P. M. H. Heemels & N. van de Wouw (2010): Stability and Stabilization of Networked Control Systems. In: Alberto Bemporad, Maurice Heemels & Mikael Johansson: Networked Control Systems. Springer London, London, pp. 203–253, doi:10.1007/978-0-85729-033-5_7.
4. M. Khaled, M. Rungger & M. Zamani (2016): Symbolic models of networked control systems: A feedback refinement relation approach. In: 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 187–193, doi:10.1109/ALLERTON.2016.7852228.
5. R. Majumdar & M. Zamani (2012): Approximately Bisimilar Symbolic Models for Digital Control Systems. In: P. Madhusudan & Sanjit A. Seshia: Computer Aided Verification. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 362–377, doi:10.1007/978-3-642-31424-7_28.
6. O. Maler, A. Pnueli & J. Sifakis (1995): On the synthesis of discrete controllers for timed systems. In: Ernst W. Mayr & Claude Puech: 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95). Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 229–242, doi:10.1007/3-540-59042-0_76.
7. D. Nesic & D. Liberzon (2009): A Unified Framework for Design and Analysis of Networked and Quantized Control Systems. IEEE Transactions on Automatic Control 54(4), pp. 732–747, doi:10.1109/TAC.2009.2014930.
8. OpenSim-Ltd.: OMNeT++, a Discrete Event Simulator. Available at https://omnetpp.org.
9. A. J. Pretorius & J. J. van Wijk: StateVis, Multidimensional visualization of transition systems. Available at http://www.win.tue.nl/vis1/home/apretori/statevis/.
10. G. Reissig, A. Weber & M. Rungger (April 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.
11. M. Rungger & M. 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 '16. ACM, New York, NY, USA, pp. 99–104, doi:10.1145/2883817.2883834.
12. F. Somenzi (2015): CUDD: CU Decision Diagram Package, 3.0.0 edition. Available at http://vlsi.colorado.edu/~fabio/CUDD/cudd.pdf.
13. P. Tabuada (2009): Verification and control of hybrid systems, A symbolic approach. Springer US, doi:10.1007/978-1-4419-0224-5.
14. W. Thomas (1995): On the synthesis of strategies in infinite games. In: Ernst W. Mayr & Claude Puech: 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95). Springer Berlin Heidelberg, pp. 1–13, doi:10.1007/3-540-59042-0_57.
15. Netherlands TU/e Technische Universiteit Eindhoven: A short note on the FSM data format. Available at http://www.win.tue.nl/vis1/home/apretori/data/fsm.html.
16. N. van de Wouw, D. Neši\'c & W.P.M.H. Heemels (2012): A discrete-time framework for stability analysis of nonlinear networked control systems. Automatica 48(6), pp. 1144 – 1153, doi:10.1016/j.automatica.2012.03.005.
17. M. Zamani, M. Mazo Jr, M. Khaled & A. Abate (accepted, to appear): Symbolic Abstractions of Networked Control Systems. IEEE Transactions on Control of Network Systems, doi:10.1109/TCNS.2017.2739645. Available at https://arxiv.org/abs/1401.6396.
18. M. Zamani, M. Mazo & A. Abate (2014): Finite abstractions of networked control systems. In: 53rd IEEE Conference on Decision and Control, pp. 95–100, doi:10.1109/CDC.2014.7039365.
19. M. Zamani, G. Pola, M. Mazo Jr. & 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