@article(abbas2013probabilistic,
 author       = "Houssam Abbas and Georgios Fainekos and Sriram Sankaranarayanan and Franjo Ivan{\v {c}}i{\'c} and Aarti Gupta",
 year         = "2013",
 title        = "Probabilistic temporal logic falsification of cyber-physical systems",
 journal      = "ACM Transactions on Embedded Computing Systems (TECS)",
 volume       = "12",
 number       = "2s",
 pages        = "95",
 doi          = "10.1145/2465787.2465797",
)
@inproceedings(Althoff2013,
 author       = "Matthias Althoff",
 year         = "2013",
 title        = "Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets",
 booktitle    = "HSCC",
 publisher    = "ACM",
 pages        = "173--182",
 doi          = "10.1145/2461328.2461358",
)
@article(althoff2013reachability,
 author       = "Matthias Althoff and Bruce Krogh",
 year         = "2013",
 title        = "Reachability Analysis of Nonlinear Differential-Algebraic Systems",
 journal      = "Automatic Control, IEEE Transactions on",
 volume       = "PP",
 number       = "99",
 doi          = "10.1109/TAC.2013.2285751",
)
@inproceedings(rajeev-emsoft,
 author       = "Rajeev Alur",
 year         = "2011",
 title        = "Formal verification of hybrid systems",
 booktitle    = "EMSOFT",
 pages        = "273--278",
 doi          = "10.1145/2038642.2038685",
)
@article(many,
 author       = "Rajeev Alur and Costas Courcoubetis and Nicolas Halbwachs and Thomas A. Henzinger and Pei-Hsin Ho and Xavier Nicollin and Alfredo Olivero and Joseph Sifakis and Sergio Yovine",
 year         = "1995",
 title        = "The Algorithmic Analysis of Hybrid Systems",
 journal      = "Theoretical Computer Science",
 volume       = "138",
 number       = "1",
 pages        = "3--34",
 url          = "http://dx.doi.org/10.1016/0304-3975(94)00202-T",
)
@article(pred-abst-thao,
 author       = "Rajeev Alur and Thao Dang and Franjo Ivancic",
 year         = "2006",
 title        = "Counterexample-guided predicate abstraction of hybrid systems",
 journal      = "Theoretical Computer Science",
 volume       = "354",
 number       = "2",
 pages        = "250--271",
 url          = "http://dx.doi.org/10.1016/j.tcs.2005.11.026",
)
@article(disc-abst,
 author       = "Rajeev Alur and Thomas A Henzinger and Gerardo Lafferriere and George J Pappas",
 year         = "2000",
 title        = "Discrete abstractions of hybrid systems",
 journal      = "Proceedings of the IEEE",
 volume       = "88",
 number       = "7",
 pages        = "971--984",
 doi          = "10.1109/5.871304",
)
@inproceedings(AMPS,
 author       = "E Asarin and O Maler and A Pnueli and J Sifakis",
 year         = "1998",
 title        = "Controller synthesis for timed automata",
 booktitle    = "Proc.\ System Structure and Control",
 publisher    = "Elsevier",
 url          = "http://www-verimag.imag.fr/PEOPLE/Oded.Maler/Papers/newsynth.pdf",
)
@article(procieee,
 author       = "Eugene Asarin and Olivier Bournez and Thao Dang and Oded Maler and Amir Pnueli",
 year         = "2000",
 title        = "Effective synthesis of switching controllers for linear systems",
 journal      = "Proceedings of the IEEE",
 volume       = "88",
 number       = "7",
 pages        = "1011--1025",
 doi          = "10.1109/5.871306",
 url          = "http://www-verimag.imag.fr/~maler/Papers/procieee.pdf",
)
@inproceedings(projection,
 author       = "Eugene Asarin and Thao Dang",
 year         = "2004",
 title        = "Abstraction by Projection and Application to Multi-affine Systems",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "2993",
 publisher    = "Springer",
 pages        = "32--47",
 doi          = "10.1007/978-3-540-24743-2\_3",
 url          = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2993{\&}spage=32",
)
@article(hybridization,
 author       = "Eugene Asarin and Thao Dang and Antoine Girard",
 year         = "2007",
 title        = "Hybridization methods for the analysis of nonlinear systems",
 journal      = "Acta Informatica",
 volume       = "43",
 number       = "7",
 pages        = "451--476",
 url          = "http://dx.doi.org/10.1007/s00236-006-0035-7",
)
@inproceedings(linear,
 author       = "Eugene Asarin and Thao Dang and Oded Maler and Olivier Bournez",
 year         = "2000",
 title        = "Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "1790",
 publisher    = "Springer",
 pages        = "20--31",
 doi          = "10.1007/3-540-46430-1\_6",
 url          = "http://link.springer.de/link/service/series/0558/bibs/1790/17900020.htm",
)
@inproceedings(thao-redundant,
 author       = "Eugene Asarin and Thao Dang and Oded Maler and Romain Testylier",
 year         = "2010",
 title        = "Using Redundant Constraints for Refinement",
 booktitle    = "ATVA",
 pages        = "37--51",
 doi          = "10.1007/978-3-642-15643-4\_5",
 url          = "http://www-verimag.imag.fr/~maler/Papers/redundant.pdf",
)
@inproceedings(AMP,
 author       = "Eugene Asarin and Oded Maler and Amir Pnueli",
 year         = "1995",
 title        = "Symbolic Controller Synthesis for Discrete and Timed Systems",
 booktitle    = "Hybrid Systems II",
 volume       = "999",
 publisher    = "Springer",
 pages        = "1--20",
 doi          = "10.1007/3-540-60472-3\_1",
 url          = "http://www-verimag.imag.fr/~maler/Papers/symbolic.pdf",
)
@book(astrom1970,
 author       = "Karl J Astrom",
 year         = "1970",
 title        = "Introduction to stochastic control theory",
 publisher    = "Academic Press",
)
@book(aubin,
 author       = "Jean-Pierre Aubin and Arrigo Cellina",
 year         = "1984",
 title        = "Differential inclusions : set-valued maps and viability theory",
 series       = "Grundlehren der mathematischen Wissenschaften",
 volume       = "264",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-642-69512-4",
)
@article(morari,
 author       = "Alberto Bemporad and Manfred Morari",
 year         = "1999",
 title        = "Control of systems integrating logic, dynamics, and constraints",
 journal      = "Automatica",
 volume       = "35",
 number       = "3",
 pages        = "407--427",
 doi          = "10.1016/S0005-1098(98)00178-2",
)
@incollection(morari-bis,
 author       = "Alberto Bemporad and Fabio Danilo Torrisi and Manfred Morari",
 year         = "2000",
 title        = "Optimization-based verification and stability characterization of piecewise affine and hybrid systems",
 booktitle    = "Hybrid Systems: Computation and Control",
 publisher    = "Springer",
 pages        = "45--58",
 doi          = "10.1007/3-540-46430-1\_8",
)
@inproceedings(BotchkarevTripakis00,
 author       = "Oleg Botchkarev and Stavros Tripakis",
 year         = "2000",
 title        = "Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "1790",
 publisher    = "Springer",
 pages        = "73--88",
 doi          = "10.1007/3-540-46430-1\_10",
 url          = "http://link.springer.de/link/service/series/0558/bibs/1790/17900073.htm",
)
@book(cassandras2010stochastic,
 author       = "Christos G Cassandras and John Lygeros",
 year         = "2010",
 title        = "Stochastic hybrid systems",
 publisher    = "CRC Press",
)
@inproceedings(tiga,
 author       = "Franck Cassez and Alexandre David and Emmanuel Fleury and Kim G Larsen and Didier Lime",
 year         = "2005",
 title        = "Efficient on-the-fly algorithms for the analysis of timed games",
 booktitle    = "CONCUR",
 publisher    = "Springer",
 pages        = "66--80",
 doi          = "10.1007/978-3-540-75454-1\_3",
)
@inproceedings(Chen2012,
 author       = "Xin Chen and Erika {\'A}brah{\'a}m and Sriram Sankaranarayanan",
 year         = "2012",
 title        = "Taylor model flowpipe construction for non-linear hybrid systems",
 booktitle    = "Proc. RTSS’12",
 publisher    = "IEEE",
 pages        = "183--192",
)
@phdthesis(chutinan-thesis,
 author       = "Alongkrit Chutinan",
 year         = "1999",
 title        = "Hybrid System Verification using Discrete Model Approximations",
 school       = "Carnegie Mellon University",
)
@inproceedings(chutinankrogh99,
 author       = "Alongkrit Chutinan and Bruce H Krogh",
 year         = "1999",
 title        = "Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "1569",
 publisher    = "Springer",
 pages        = "76--90",
 doi          = "10.1007/3-540-48983-5\_10",
 url          = "http://link.springer.de/link/service/series/0558/bibs/1569/15690076.htm",
)
@article(ChutinanKrogh03,
 author       = "Alongkrit Chutinan and Bruce H Krogh",
 year         = "2003",
 title        = "Computational techniques for hybrid system verification",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "48",
 number       = "1",
 pages        = "64 -- 75",
 url          = "http://dx.doi.org/10.1109/TAC.2002.806655",
)
@article(pred-abst-clarke,
 author       = "Edmund Clarke and Ansgar Fehnker and Zhi Han and Bruce Krogh and Jo{\"e}l Ouaknine and Olaf Stursberg and Michael Theobald",
 year         = "2003",
 title        = "Abstraction and counterexample-guided refinement in model checking of hybrid systems",
 journal      = "International Journal of Foundations of Computer Science",
 volume       = "14",
 number       = "04",
 pages        = "583--604",
 doi          = "10.1142/S012905410300190X",
)
@inproceedings(cousot1977abstract,
 author       = "Patrick Cousot and Radhia Cousot",
 year         = "1977",
 title        = "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints",
 booktitle    = "POPL",
 organization = "ACM",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@phdthesis(thao-thesis-eng,
 author       = "Thao Dang",
 year         = "2000",
 title        = "Verification and Synthesis of Hybrid Systems",
 school       = "Institut National Polytecnique de Grenoble",
)
@inproceedings(Dang2006,
 author       = "Thao Dang",
 year         = "2006",
 title        = "Approximate Reachability Computation for Polynomial Systems",
 booktitle    = "HSCC",
 publisher    = "Springer",
 pages        = "138--152",
 doi          = "10.1007/11730637\_13",
)
@incollection(dang2009tools,
 author       = "Thao Dang and Goran Frehse and Antoine Girard and Colas Le Guernic",
 year         = "2009",
 title        = "Tools for the Analysis of Hybrid Models",
 booktitle    = "Communicating Embedded Systems: Software and Design: Formal Methods",
 publisher    = "John Wiley \& Sons, Inc.",
 pages        = "227--251",
 doi          = "10.1002/9781118558188.ch7",
)
@article(reach-nonlin,
 author       = "Thao Dang and Colas Le Guernic and Oded Maler",
 year         = "2011",
 title        = "Computing reachable states for nonlinear biological models",
 journal      = "Theoretical Computer Science",
 volume       = "412",
 number       = "21",
 pages        = "2095--2107",
 doi          = "10.1016/j.tcs.2011.01.014",
 url          = "http://www-verimag.imag.fr/~maler/Papers/nonlinear-bio-tcs.pdf",
)
@inproceedings(face,
 author       = "Thao Dang and Oded Maler",
 year         = "1998",
 title        = "Reachability Analysis via Face Lifting",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "1386",
 publisher    = "Springer",
 pages        = "96--109",
 doi          = "10.1007/3-540-64358-3\_34",
 url          = "http://www-verimag.imag.fr/PEOPLE/Oded.Maler/Papers/facelift.pdf",
)
@article(dang2009coverage,
 author       = "Thao Dang and Tarik Nahhal",
 year         = "2009",
 title        = "Coverage-guided test generation for continuous and hybrid systems",
 journal      = "Formal Methods in System Design",
 volume       = "34",
 number       = "2",
 pages        = "183--213",
 doi          = "10.1007/s10703-009-0066-0",
)
@inproceedings(thao-curvature,
 author       = "Thao Dang and Romain Testylier",
 year         = "2011",
 title        = "Hybridization domain construction using curvature estimation",
 booktitle    = "HSCC",
 pages        = "123--132",
 doi          = "10.1145/1967701.1967721",
)
@article(DangTestylierRC2012,
 author       = "Thao Dang and Romain Testylier",
 year         = "2012",
 title        = "Reachability analysis for polynomial dynamical systems using the {Bernstein} expansion",
 journal      = "Reliable Computing",
 volume       = "17(2)",
 pages        = "128--152",
)
@inproceedings(donze2010breach,
 author       = "Alexandre Donz{\'e}",
 year         = "2010",
 title        = "Breach, a toolbox for verification and parameter synthesis of hybrid systems",
 booktitle    = "CAV",
 publisher    = "Springer",
 pages        = "167--170",
 doi          = "10.1007/978-3-642-14295-6\_17",
)
@inproceedings(sensi,
 author       = "Alexandre Donz{\'e} and Oded Maler",
 year         = "2007",
 title        = "Systematic Simulation Using Sensitivity Analysis",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "4416",
 publisher    = "Springer",
 pages        = "174--189",
 url          = "http://dx.doi.org/10.1007/978-3-540-71493-4\_16",
)
@inproceedings(goran-rajat,
 author       = "Goran Frehse and Rajat Kateja and Colas Le Guernic",
 year         = "2013",
 title        = "Flowpipe approximation and clustering in space-time",
 booktitle    = "HSCC",
 pages        = "203--212",
 doi          = "10.1145/2461328.2461361",
)
@inproceedings(sx,
 author       = "Goran Frehse and Colas Le Guernic and Alexandre Donz{\'e} and Scott Cotton and Rajarshi Ray and Olivier Lebeltel and Rodolfo Ripado and Antoine Girard and Thao Dang and Oded Maler",
 year         = "2011",
 title        = "SpaceEx: Scalable verification of hybrid systems",
 booktitle    = "Computer Aided Verification",
 pages        = "379--395",
 doi          = "10.1007/978-3-642-22110-1\_30",
 url          = "http://www-verimag.imag.fr/~maler/Papers/spaceex-cav.pdf",
)
@inproceedings(zonotope-antoine,
 author       = "Antoine Girard",
 year         = "2005",
 title        = "Reachability of Uncertain Linear Systems Using Zonotopes",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "3414",
 publisher    = "Springer",
 pages        = "291--305",
 doi          = "10.1007/978-3-540-31954-2\_19",
 url          = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3414{\&}spage=291",
)
@inproceedings(zonotope-paper,
 author       = "Antoine Girard and Colas Le Guernic and Oded Maler",
 year         = "2006",
 title        = "Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "3927",
 publisher    = "Springer",
 pages        = "257--271",
 url          = "http://dx.doi.org/10.1007/11730637\_21",
)
@inproceedings(girard2006verification,
 author       = "Antoine Girard and George Pappas",
 year         = "2006",
 title        = "Verification using simulation",
 booktitle    = "Hybrid Systems: Computation and Control",
 publisher    = "Springer",
 pages        = "272--286",
 doi          = "10.1007/11730637\_22",
)
@inproceedings(Greenstreet96,
 author       = "Mark R. Greenstreet",
 year         = "1996",
 title        = "Verifying Safety Properties of Differential Equations",
 booktitle    = "CAV",
 series       = "LNCS",
 volume       = "1102",
 publisher    = "Springer",
 pages        = "277--287",
 url          = "http://dx.doi.org/10.1007/3-540-61474-5\_76",
)
@inproceedings(GM99,
 author       = "Mark R. Greenstreet and Ian Mitchell",
 year         = "1999",
 title        = "Reachability Analysis Using Polygonal Projections",
 booktitle    = "Hybrid Systems: Computation and Control",
 series       = "LNCS",
 volume       = "1569",
 publisher    = "Springer",
 pages        = "103--116",
 doi          = "10.1007/3-540-48983-5\_12",
 url          = "http://link.springer.de/link/service/series/0558/bibs/1569/15690103.htm",
)
@inproceedings(hytech,
 author       = "Thomas A Henzinger and Pei-Hsin Ho and Howard Wong-Toi",
 year         = "1997",
 title        = "HyTech: A model checker for hybrid systems",
 booktitle    = "Computer aided verification",
 organization = "Springer",
 pages        = "460--463",
 doi          = "10.1007/3-540-63166-6\_48",
)
@article(henzinger1998algorithmic,
 author       = "Thomas A Henzinger and Pei-Hsin Ho and Howard Wong-Toi",
 year         = "1998",
 title        = "Algorithmic analysis of nonlinear hybrid systems",
 journal      = "Automatic Control, IEEE Transactions on",
 volume       = "43",
 number       = "4",
 pages        = "540--554",
 doi          = "10.1109/9.664156",
)
@book(walter,
 author       = "Luc Jaulin and Michel Kieffer and Oliver Didrit and {\'E}ric Walter",
 year         = "2001",
 title        = "Applied Interval Analysis",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-1-4471-0249-6",
)
@book(johansson2002piecewise,
 author       = "Mikael Johansson",
 year         = "2002",
 title        = "Piecewise linear control systems",
 publisher    = "Springer Verlag",
)
@inproceedings(jim,
 author       = "Jim Kapinski and Bruce H Krogh and Oded Maler and Olaf Stursberg",
 year         = "2003",
 title        = "On systematic simulation of open continuous systems",
 booktitle    = "HSCC",
 publisher    = "Springer",
 pages        = "283--297",
 doi          = "10.1007/3-540-36580-X\_22",
 url          = "http://www-verimag.imag.fr/~maler/Papers/simulation.pdf",
)
@article(kuhn98,
 author       = "Wolfgang K{\"u}hn",
 year         = "1998",
 title        = "Rigorously computed orbits of dynamical systems without the wrapping effect",
 journal      = "Computing",
 volume       = "61",
 number       = "1",
 pages        = "47--67",
 doi          = "10.1007/BF02684450",
)
@incollection(kuhn99,
 author       = "Wolfgang K{\"u}hn",
 year         = "1999",
 title        = "Towards an optimal control of the wrapping effect",
 booktitle    = "Developments in Reliable Computing",
 publisher    = "Springer",
 pages        = "43--51",
 doi          = "10.1007/978-94-017-1247-7\_4",
)
@article(KurshanM91,
 author       = "Robert P Kurshan and Kenneth L McMillan",
 year         = "1991",
 title        = "Analysis of digital circuits through symbolic reduction",
 journal      = "IEEE Trans. on CAD of Integrated Circuits and Systems",
 volume       = "10",
 number       = "11",
 pages        = "1356--1371",
 url          = "http://doi.ieeecomputersociety.org/10.1109/43.97615",
)
@inproceedings(kurzh,
 author       = "Alexander B. Kurzhanski and Pravin Varaiya",
 year         = "2000",
 title        = "Ellipsoidal Techniques for Reachability Analysis",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "1790",
 publisher    = "Springer",
 pages        = "202--214",
 doi          = "10.1007/3-540-46430-1\_19",
 url          = "http://link.springer.de/link/service/series/0558/bibs/1790/17900202.htm",
)
@book(ellipsoid-book,
 author       = "Alexandr B Kurzhanski and Istv{\'a}n V{\'a}lyi",
 year         = "1997",
 title        = "Ellipsoidal Calculus for Estimation and Control.",
 publisher    = "Birkhauser",
 doi          = "10.1007/978-1-4612-0277-6",
)
@article(kurzhanski-junior,
 author       = "Alex A Kurzhanskiy and Pravin Varaiya",
 year         = "2007",
 title        = "Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "52",
 number       = "1",
 pages        = "26 --38",
 url          = "http://dx.doi.org/10.1109/TAC.2006.887900",
)
@incollection(sergio,
 author       = "Gerardo Lafferriere and George J Pappas and Sergio Yovine",
 year         = "1999",
 title        = "A new class of decidable hybrid systems",
 booktitle    = "Hybrid Systems: Computation and Control",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "137--151",
 doi          = "10.1007/3-540-48983-5\_15",
)
@mastersthesis(colas,
 author       = "Colas Le Guernic",
 year         = "2005",
 title        = "Calcul Efficace de l'Ensemble Atteignable des Syst\`emes Lin\'eaires avec Incertitudes",
 school       = "Universit\'e Paris 7",
 url          = "http://www.mpri.master.univ-paris7.fr/attached-documents/Stages-2005-rapports/rapport-2005-LeGuernic.pdf",
)
@phdthesis(colas-phd,
 author       = "Colas Le Guernic",
 year         = "2009",
 title        = "Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics",
 school       = "Universit\'e Grenoble 1 -- Joseph Fourier",
 url          = "http://tel.archives-ouvertes.fr/docs/00/43/07/40/PDF/CLeGuernic_thesis.pdf",
)
@inproceedings(colas-antoine-cav-09,
 author       = "Colas Le Guernic and Antoine Girard",
 year         = "2009",
 title        = "Reachability Analysis of Hybrid Systems Using Support Functions",
 booktitle    = "CAV",
 pages        = "540--554",
 url          = "http://dx.doi.org/10.1007/978-3-642-02658-4\_40",
)
@article(support-paper,
 author       = "Colas Le Guernic and Antoine Girard",
 year         = "2010",
 title        = "Reachability analysis of linear systems using support functions",
 journal      = "Nonlinear Analysis: Hybrid Systems",
 volume       = "4",
 number       = "2",
 pages        = "250--262",
 doi          = "10.1016/j.nahs.2009.03.002",
)
@book(liberzon2003switching,
 author       = "Daniel Liberzon",
 year         = "2003",
 title        = "Switching in systems and control",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4612-0017-8",
)
@article(lotov1971,
 author       = "A V Lotov",
 year         = "1971",
 title        = "Construction of domains of attainability for a linear discrete system with bottle-neck constraints",
 journal      = "Aerophysics and Applied Mathematics",
 pages        = "113--119",
 note         = "In Russian",
)
@book(lotov2004interactive,
 author       = "Alexander V Lotov and Vladimir A Bushenkov and Georgy K Kamenev",
 year         = "2004",
 title        = "Interactive decision maps: Approximation and visualization of Pareto frontier",
 volume       = "89",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4419-8851-5",
)
@unpublished(lygeros2001art,
 author       = "John Lygeros and Shankar Sastry and Claire Tomlin",
 year         = "2001",
 title        = "The art of hybrid systems",
 url          = "robotics.eecs.berkeley.edu/~sastry/ee291e/book.pdf",
 note         = "Unpublished manuscript",
)
@inproceedings(unified,
 author       = "Oded Maler",
 year         = "1998",
 title        = "A unified approach for studying discrete and continuous dynamical systems",
 booktitle    = "CDC",
 volume       = "2",
 pages        = "2083--2088",
 doi          = "10.1109/CDC.1998.758641",
 url          = "http://www-verimag.imag.fr/~maler/Papers/unified.pdf",
)
@article(ejc,
 author       = "Oded Maler",
 year         = "2001",
 title        = "Guest Editorial: Verification of Hybrid Systems",
 journal      = "European Journal of Control",
 volume       = "7",
 number       = "1",
 pages        = "357--365",
 doi          = "10.3166/ejc.7.357-365",
 url          = "http://www-verimag.imag.fr/~maler/Papers/guest.pdf",
)
@article(cfromcs,
 author       = "Oded Maler",
 year         = "2002",
 title        = "Control from Computer Science",
 journal      = "Annual Reviews in Control",
 volume       = "26",
 number       = "2",
 pages        = "175--187",
 doi          = "10.1016/S1367-5788(02)00030-5",
 url          = "http://www.sciencedirect.com/science/article/B6V0H-485P0W5-3/2/b5160ff386c03f13f06db257df3547e0",
)
@article(adversary,
 author       = "Oded Maler",
 year         = "2007",
 title        = "On optimal and reasonable control in the presence of adversaries",
 journal      = "Annual Reviews in Control",
 volume       = "31",
 number       = "1",
 pages        = "1--15",
 doi          = "10.1016/j.arcontrol.2007.02.001",
 url          = "http://www-verimag.imag.fr/~maler/Papers/annual.pdf",
)
@inproceedings(amir-dawn,
 author       = "Oded Maler",
 year         = "2010",
 title        = "Amir Pnueli and the dawn of hybrid systems",
 booktitle    = "HSCC",
 pages        = "293--295",
 doi          = "10.1145/1755952.1755953",
 url          = "http://www-verimag.imag.fr/~maler/Papers/amir-cpsweek.pdf",
)
@inproceedings(under-det,
 author       = "Oded Maler",
 year         = "2011",
 title        = "On under-determined dynamical systems",
 booktitle    = "EMSOFT",
 pages        = "89--96",
 url          = "http://www-verimag.imag.fr/~maler/Papers/under-det.pdf",
)
@inproceedings(levelset,
 author       = "Ian Mitchell and Claire Tomlin",
 year         = "2000",
 title        = "Level Set Methods for Computation in Hybrid Systems",
 booktitle    = "HSCC",
 series       = "LNCS",
 volume       = "1790",
 publisher    = "Springer",
 pages        = "310--323",
 doi          = "10.1007/3-540-46430-1\_27",
 url          = "http://link.springer.de/link/service/series/0558/bibs/1790/17900310.htm",
)
@book(interval,
 author       = "Ramon E Moore",
 year         = "1979",
 title        = "Methods and applications of interval analysis",
 publisher    = "SIAM",
 doi          = "10.1137/1.9781611970906",
)
@inproceedings(ratschan2005safety,
 author       = "Stefan Ratschan and Zhikun She",
 year         = "2005",
 title        = "Safety verification of hybrid systems by constraint propagation based abstraction refinement",
 booktitle    = "HSCC",
 publisher    = "Springer",
 pages        = "573--589",
 doi          = "10.1145/1210268.1210276",
)
@book(schaft,
 author       = "Abraham J van der Schaft and Johannes M Schumacher",
 year         = "2000",
 title        = "An introduction to hybrid dynamical systems",
 volume       = "251",
 publisher    = "Springer London",
)
@book(schrijver,
 author       = "Alexander Schrijver",
 year         = "1986",
 title        = "Theory of Linear and Integer Programming",
 publisher    = "Wiley",
)
@book(tabuada2009verification,
 author       = "Paulo Tabuada",
 year         = "2009",
 title        = "Verification and control of hybrid systems: a symbolic approach",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4419-0224-5",
)
@inproceedings(DBLP:conf/atva/TestylierD13,
 author       = "Romain Testylier and Thao Dang",
 year         = "2013",
 title        = "NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems",
 booktitle    = "ATVA",
 pages        = "469--473",
 doi          = "10.1007/978-3-319-02444-8\_37",
)
@article(tiwari2008abstractions,
 author       = "Ashish Tiwari",
 year         = "2008",
 title        = "Abstractions for hybrid systems",
 journal      = "Formal Methods in System Design",
 volume       = "32",
 number       = "1",
 pages        = "57--83",
 doi          = "10.1007/s10703-007-0044-3",
)
@article(levelset-more,
 author       = "Claire J Tomlin and Ian Mitchell and Alexandre M Bayen and Meeko Oishi",
 year         = "2003",
 title        = "Computational techniques for the verification of hybrid systems",
 journal      = "Proceedings of the IEEE",
 volume       = "91",
 number       = "7",
 pages        = "986--1001",
 doi          = "10.1109/JPROC.2003.814621",
)
@incollection(tripakis2009modeling,
 author       = "Stavros Tripakis and Thao Dang",
 year         = "2009",
 title        = "Modeling, verification and testing using timed and hybrid automata",
 booktitle    = "Model-Based Design for Embedded Systems",
 publisher    = "CRC Press",
 pages        = "383--436",
 doi          = "10.1201/9781420067859-c13",
)
@inproceedings(varaiya,
 author       = "Pravin Varaiya",
 year         = "1998",
 title        = "Reach set computation using optimal control",
 booktitle    = "Proc. KIT Workshop on Verification of Hybrid Systems",
 publisher    = "Verimag, Grenoble",
 pages        = "377--383",
 doi          = "10.1007/978-3-642-59615-5\_15",
)
@book(zeigler,
 author       = "G\"unter M. Ziegler",
 year         = "1995",
 title        = "Lectures on Polytopes",
 series       = "Graduate Texts in Mathematics",
 volume       = "152",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4613-8431-1",
)