1. A. Arnold, A. Vincent & I. Walukiewicz (2003): Games for synthesis of controllers with partial observation. Theor. Comput. Sci. 303, pp. 7–34, doi:10.1016/S0304-3975(02)00442-5.
  2. E Asarin, O Bournez, T Dang, O Maler & A Pnueli (2000): Effective Synthesis of Switching Controllers for Linear Systems. Proceedings of the IEEE, Special Issue on Hybrid Systems 88, pp. 1011–1025, doi:10.1109/5.871306.
  3. A.G. Beccuti, G. Papafotiou & M. Morari (2005): Optimal Control of the Boost dc-dc Converter. In: IEEE Conference on Decision and Control, Seville, Spain, pp. 4457-4462, doi:10.1109/CDC.2005.1582864.
  4. O. Bournez, O. Maler & A. Pnueli (1999): Orthogonal polyhedra: Representation and computation. In: HSCC, LNCS 1569. Springer, pp. 46–60, doi:10.1007/3-540-48983-5_8.
  5. J. Buisson, P.-Y. Richard & H. Cormerais (2005): On the Stabilisation of Switching Electrical Power Converters. In: HSCC, LNCS 3414, pp. 184–197, doi:10.1007/978-3-540-31954-2_12.
  6. L. Fribourg, B. Revol & R. Soulat (2011): Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems. Research Report LSV-11-12. Laboratoire Spécification et Vérification, ENS Cachan, France.
  7. A. Girard, G. Pola & P. Tabuada (2010): Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. IEEE Trans. on Automatic Control 55, pp. 116–126, doi:10.1109/TAC.2009.2034922.
  8. T. A. Henzinger (1996): The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS '96. IEEE Computer Society, Washington, DC, USA, pp. 278–292, doi:10.1109/LICS.1996.561342.
  9. M. I. Krastanov & V. M. Veliov (2005): On the controllability of switching linear systems. Automatica 41(4), pp. 663 – 668, doi:10.1109/TAC.2002.801182.
  10. P. J. G. Ramadge & W. M. Wonham (1989): The control of discrete event systems. Proceedings of The IEEE 77, pp. 81–98, doi:10.1109/5.21072.
  11. M. Senesky, G. Eirea & T. John Koo (2003): Hybrid modeling and control of power electronics. In: HSCC, LNCS 2623. Springer, pp. 450–465, doi:10.1007/3-540-36580-X_33.
  12. Z. Sun, S. S. Ge & T. H. Lee (2002): Controllability and reachability criteria for switched linear systems. Automatica 38(5), pp. 775–786, doi:10.1016/S0005-1098(01)00267-9.

Comments and questions to:
For website issues: