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