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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
eptcs@eptcs.org