References

  1. R. Alur & D. L. Dill (1990): Automata, Languages and Programming, chapter Automata for modeling real-time systems, pp. 322–335, Lecture Notes in Computer Science 443. Springer, Berlin, doi:10.1007/BFb0032042.
  2. R. Alur, T. Henzinger, O. Kupferman & M. Vardi (1998): Alternating refinement relations. In: Proceedings of the 8th International Conference on Concurrence Theory, Lecture Notes in Computer Science 1466. Springer, pp. 163–178, doi:10.1007/BFb0055622.
  3. D. Angeli (2002): A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control 47(3), pp. 410–421, doi:10.1109/9.989067.
  4. C. Belta & L.C.G.J.M. Habets (2006): Controlling a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control 51(11), pp. 1749–1759, doi:10.1109/TAC.2006.884957.
  5. A. Bicchi, A. Marigo & B. Piccoli (2002): On the reachability of quantized control systems. IEEE Transactions on Automatic Control 47(4), pp. 546–563, doi:10.1109/9.995034.
  6. A. Borri, G. Pola & M.D. Di Benedetto (2012): A symbolic approach to the design of nonlinear networked control systems. In: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp. 255–264, doi:10.1145/2185632.2185670.
  7. A. Borri, G. Pola & M.D. Di Benedetto (2012): Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems. In: 51th IEEE Conference on Decision and Control, Maui, Hawaii, USA, pp. 1374–1379, doi:10.1109/CDC.2012.6426158.
  8. T. Brihaye & C. Michaux (2005): On the expressiveness and decidability of o-minimal hybrid systems. Journal of Complexity 21(4), pp. 447–478, doi:10.1016/j.jco.2004.09.003.
  9. P. E. Caines & Y. J. Wei (1998): Hierarchical hybrid control systems: A lattice-theoretic formulation. Special Issue on Hybrid Systems, IEEE Transaction on Automatic Control 43(4), pp. 501–508, doi:10.1109/9.664153.
  10. M. Egerstedt, E. Frazzoli & G. J. Pappas (2006). IEEE Transactions of Automatic Control 51(6), doi:10.1109/TAC.2006.876964. Special Section on Symbolic Methods for Complex Control Systems.
  11. D. Forstner, M. Jung & J. Lunze (2002): A discrete-event model of asynchronous quantised systems. Automatica 38, pp. 1277–1286, doi:10.1016/S0005-1098(02)00023-7.
  12. A. Girard & G.J. Pappas (2007): Approximation Metrics for Discrete and Continuous Systems. IEEE Transactions on Automatic Control 52(5), pp. 782–798, doi:10.1109/TAC.2007.895849.
  13. A. Girard, G. Pola & P. Tabuada (2010): Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions of Automatic Control 55(1), pp. 116–126, doi:10.1109/TAC.2009.2034922.
  14. 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.
  15. T.A. Henzinger, P. W. Kopke, A. Puri & P. Varaiya (1998): What's decidable about hybrid automata?. Journal of Computer and System Sciences 57, pp. 94–124, doi:10.1006/jcss.1998.1581.
  16. HYCON (2004–2009): Hybrid control: taming heterogeneity and complexity of networked embedded systems Network of Excellence. EU FP6, URL http://www.ist-hycon.org.
  17. O. Junge (2004): A set oriented approach to global optimal control. ESAIM: Control, optimisation and calculus of variations 10(2), pp. 259–270, doi:10.1051/cocv:2004006.
  18. Xenofon D. Koutsoukos, Panos J. Antsaklis, James A. Stiver & Michael D. Lemmon (2000): Supervisory Control of Hybrid Systems. Proceedings of the IEEE 88(7), pp. 1026–1049, doi:10.1109/5.871307.
  19. G. Lafferriere, G. J. Pappas & S. Sastry (2000): O-minimal hybrid systems. Math. Control Signal Systems 13, pp. 1–21, doi:10.1007/PL00009858.
  20. R. Milner (1989): Communication and Concurrency. Prentice Hall.
  21. T. Moor, J. Raisch & S. D. O'Young (2002): Discrete supervisory control of hybrid systems based on l-complete approximations. Journal of Discrete Event Dynamic Systems 12, pp. 83–107, doi:10.1023/A:1013339920783.
  22. D.M.R. Park (1981): Concurrency and automata on infinite sequences. Lecture Notes in Computer Science 104, pp. 167–183, doi:10.1007/BFb0017309.
  23. G. Pola, A. Borri & M. D. Di Benedetto (2012): Integrated Design of Symbolic Controllers for Nonlinear Systems. IEEE Transactions on Automatic Control 57(2), pp. 534 –539, doi:10.1109/TAC.2011.2164740.
  24. G. Pola, A. Girard & P. Tabuada (2008): Approximately bisimilar symbolic models for nonlinear control systems. Automatica 44, pp. 2508–2516, doi:10.1016/j.automatica.2008.02.021.
  25. G. Pola, P. Pepe, M.D. Di Benedetto & P. Tabuada (2010): Symbolic models for nonlinear time-delay systems using approximate bisimulations. Systems and Control Letters 59, pp. 365–373, doi:10.1016/j.sysconle.2010.04.001.
  26. G. Pola & P. Tabuada (2009): Symbolic models for nonlinear control systems: Alternating approximate bisimulations. SIAM Journal on Control and Optimization 48(2), pp. 719–733, doi:10.1137/070698580.
  27. G. Reißig (2009): Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems. in Proc. of 12th Int. Conf. Hybrid Systems: Computation and Control (HSCC) 5469, pp. 306–320, doi:10.1007/978-3-642-00602-9/22.
  28. P. Tabuada & G.J. Pappas (2006): Linear Time Logic Control of Discrete-Time Linear Systems. IEEE Transactions of Automatic Control 51(12), pp. 1862–1877, doi:10.1109/TAC.2006.886494.
  29. M. Zamani, M. Mazo, G. Pola & P. Tabuada (2012): Symbolic models for nonlinear control systems without stability assumptions. IEEE Transactions of 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