@article(AVW03,
 author       = "A. Arnold and A. Vincent and I. Walukiewicz",
 year         = "2003",
 title        = "Games for synthesis of controllers with partial observation",
 journal      = "Theor. Comput. Sci.",
 volume       = "303",
 pages        = "7--34",
 doi          = "10.1016/S0304-3975(02)00442-5",
)
@article(abdmp00,
 author       = "{E} {A}sarin and {O} {B}ournez and {T} {D}ang and {O} {M}aler and {A} {P}nueli",
 year         = "2000",
 title        = "{E}ffective {S}ynthesis of {S}witching {C}ontrollers for {L}inear {S}ystems",
 journal      = "{P}roceedings of the {IEEE}, {S}pecial {I}ssue on {H}ybrid {S}ystems",
 volume       = "88",
 pages        = "1011--1025",
 doi          = "10.1109/5.871306",
)
@inproceedings(BecPap:2005:IFA_2345,
 author       = "A.G. Beccuti and G. Papafotiou and M. Morari",
 year         = "2005",
 title        = "Optimal Control of the Boost dc-dc Converter",
 booktitle    = "IEEE Conference on Decision and Control",
 address      = "Seville, Spain",
 pages        = "4457-4462",
 doi          = "10.1109/CDC.2005.1582864",
)
@inproceedings(bmp99,
 author       = "O. Bournez and O. Maler and A. Pnueli",
 year         = "1999",
 title        = "Orthogonal polyhedra: Representation and computation",
 booktitle    = "HSCC, LNCS 1569",
 publisher    = "Springer",
 pages        = "46--60",
 doi          = "10.1007/3-540-48983-5\_8",
)
@incollection(test,
 author       = "J. Buisson and P.-Y. Richard and H. Cormerais",
 year         = "2005",
 title        = "On the Stabilisation of Switching Electrical Power Converters",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "3414",
 pages        = "184--197",
 doi          = "10.1007/978-3-540-31954-2\_12",
)
@techreport(rr-lsv-11-12,
 author       = "L. Fribourg and B. Revol and R. Soulat",
 year         = "2011",
 title        = "Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems",
 type         = "Research Report",
 number       = "LSV-11-12",
 institution  = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France",
)
@article(Girard,
 author       = "A. Girard and G. Pola and P. Tabuada",
 year         = "2010",
 title        = "Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems",
 journal      = "IEEE Trans. on Automatic Control",
 volume       = "55",
 pages        = "116--126",
 doi          = "10.1109/TAC.2009.2034922",
)
@inproceedings(Henzinger,
 author       = "T. A. Henzinger",
 year         = "1996",
 title        = "The theory of hybrid automata",
 booktitle    = "Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science",
 series       = "LICS '96",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "278--292",
 doi          = "10.1109/LICS.1996.561342",
)
@article(krastanov-veliov04,
 author       = "M. I. Krastanov and V. M. Veliov",
 year         = "2005",
 title        = "On the controllability of switching linear systems",
 journal      = "Automatica",
 volume       = "41",
 number       = "4",
 pages        = "663 -- 668",
 doi          = "10.1109/TAC.2002.801182",
)
@article(RW89,
 author       = "P. J. G. Ramadge and W. M. Wonham",
 year         = "1989",
 title        = "The control of discrete event systems",
 journal      = "Proceedings of The IEEE",
 volume       = "77",
 pages        = "81--98",
 doi          = "10.1109/5.21072",
)
@inproceedings(Senesky03hybridmodeling,
 author       = "M. Senesky and G. Eirea and T. John Koo",
 year         = "2003",
 title        = "Hybrid modeling and control of power electronics",
 booktitle    = "HSCC, LNCS",
 volume       = "2623",
 publisher    = "Springer",
 pages        = "450--465",
 doi          = "10.1007/3-540-36580-X\_33",
)
@article(sun-ge-lee02,
 author       = "Z. Sun and S. S. Ge and T. H. Lee",
 year         = "2002",
 title        = "Controllability and reachability criteria for switched linear systems",
 journal      = "Automatica",
 volume       = "38",
 number       = "5",
 pages        = "775--786",
 doi          = "10.1016/S0005-1098(01)00267-9",
)