Skip to main content
SpringerLink
Log in

Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler

  • Conference paper
  • First Online:
Hybrid Systems Biology (HSB 2019)

Part of the book series: Lecture Notes in Computer Science ((LNBI,volume 11705))

Included in the following conference series:

  • 302 Accesses

Abstract

In this note we present some influential contributions of Oded Maler in hybrid systems research, with a focus on his pioneering results in reachability analysis and applications to systems biology. We also give a brief discussion of the evolution of the reachability computation techniques which have greatly progressed in recent years. This discussion is not intended to include an exhaustive survey of the existing results (The reader is referred to the recent proceedings of the conferences Hybrid Systems: Computation and Control.) but to show the strong impact of his foundational work.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Which may be non-exhaustive.

References

  1. Abdeddaïm, Y., Asarin, E., Maler, O.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272–300 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  2. Althoff, M., Grebenyuk, D., Kochdumper, N.: Implementation of Taylor models in CORA 2018. In: Proceedings of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 145–173 (2018)

    Google Scholar 

  3. Alur, R., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3–34 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  4. Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proc. IEEE 88, 971–984 (2000)

    Article  Google Scholar 

  5. Alur, R., Dill, D.: The theory of timed automata. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 45–73. Springer, Heidelberg (1992). https://doi.org/10.1007/BFb0031987

    Chapter  Google Scholar 

  6. Anai, H., Weispfenning, V.: Reach set computations using real quantifier elimination. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 63–76. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45351-2_9

    Chapter  Google Scholar 

  7. Asarin, E., Bournez, O., Dang, T., Maler, O.: Approximate reachability analysis of piecewise-linear dynamical systems. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 20–31. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-46430-1_6

    Chapter  MATH  Google Scholar 

  8. Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems. Proc. IEEE 88, 1011–1025 (2000)

    Article  Google Scholar 

  9. Asarin, E., Dang, T., Girard, A.: Reachability analysis of nonlinear systems using conservative approximation. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 20–35. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-36580-X_5

    Chapter  MATH  Google Scholar 

  10. Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43(7), 451–476 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  11. Asarin, E., Dang, T., Maler, O.: The d/dt tool for verification of hybrid systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 365–370. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45657-0_30

    Chapter  MATH  Google Scholar 

  12. Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor. Comput. Sci. 138, 35–66 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  13. Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49(2), 172–206 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  14. Asarin, E., Maler, O.: On some relations between dynamical systems and transition systems. In: Abiteboul, S., Shamir, E. (eds.) ICALP 1994. LNCS, vol. 820, pp. 59–72. Springer, Heidelberg (1994). https://doi.org/10.1007/3-540-58201-0_58

    Chapter  MATH  Google Scholar 

  15. Asarin, E., Maler, O.: Achilles and the tortoise climbing up the arithmetical hierarchy. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, pp. 471–483. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60692-0_68

    Chapter  MATH  Google Scholar 

  16. Asarin, E., Maler, O., Pnueli, A.: Symbolic controller synthesis for discrete and timed systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.) HS 1994. LNCS, vol. 999, pp. 1–20. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60472-3_1

    Chapter  MATH  Google Scholar 

  17. Asarin, E., Pace, G., Schneider, G., Yovine, S.: SPeeDI—a verification tool for polygonal hybrid systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 354–359. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45657-0_28

    Chapter  MATH  Google Scholar 

  18. Bak, S., Duggirala, P.S.: HyLaa: a tool for computing simulation-equivalent reachability for linear systems. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. ACM (2017)

    Google Scholar 

  19. Bak, S., Tran, H.-D., Johnson, T.T.: Numerical verification of affine systems with up to a billion dimensions. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, pp. 23–32. ACM (2019)

    Google Scholar 

  20. Bakhirkin, A., Ferrère, T., Nickovic, D., Maler, O., Asarin, E.: Online timed pattern matching using automata. In: Jansen, D.N., Prabhakar, P. (eds.) FORMATS 2018. LNCS, vol. 11022, pp. 215–232. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00151-3_13

    Chapter  MATH  Google Scholar 

  21. Bartocci, E., et al.: Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 135–175. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-75632-5_5

    Chapter  Google Scholar 

  22. Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., Schilling, C.: JuliaReach: a toolbox for set-based reachability. In: Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, pp. 39–44. ACM, New York (2019)

    Google Scholar 

  23. Bouissou, O., Mimram, S., Chapoutot, A.: HYSON: set-based simulation of hybrid systems. In: Proceedings - IEEE International Symposium on Rapid System Prototyping, RSP, pp. 79–85, October 2012

    Google Scholar 

  24. Bournez, O., Graça, D.S., Pouly, A.: Turing machines can be efficiently simulated by the general purpose analog computer. In: Chan, T.-H.H., Lau, L.C., Trevisan, L. (eds.) TAMC 2013. LNCS, vol. 7876, pp. 169–180. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38236-9_16

    Chapter  Google Scholar 

  25. Bournez, O., Maler, O., Pnueli, A.: Orthogonal polyhedra: representation and computation. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol. 1569, pp. 46–60. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48983-5_8

    Chapter  MATH  Google Scholar 

  26. Branicky, M.S.: Studies in hybrid systems: modelling, analysis, and control. Ph.D. thesis, Massachusetts Institute of Techology (1995)

    Google Scholar 

  27. Chen, X., Ábrahám, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258–263. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39799-8_18

    Chapter  Google Scholar 

  28. Chutinan, A., Krogh, B.H.: Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol. 1569, pp. 76–90. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48983-5_10

    Chapter  MATH  Google Scholar 

  29. Collins, P., Bresolin, D., Geretti, L., Villa, T.: Computing the evolution of hybrid systems using rigorous function calculus. In: Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS12), Eindhoven, The Netherlands (2012)

    Google Scholar 

  30. Cotton, S., Maler, O., Legriel, J., Saidi, S.: Multi-criteria optimization for mapping programs to multi-processors. In: 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES), SIES 2011, Vasteras, Sweden, 15–17 June 2011, pp. 9–17. IEEE (2011)

    Google Scholar 

  31. Dang, T., Le Guernic, C., Maler, O.: Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21), 2095–2107 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  32. Dang, T., Maler, O.: Reachability analysis via face lifting. In: Henzinger, T.A., Sastry, S. (eds.) HSCC 1998. LNCS, vol. 1386, pp. 96–109. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-64358-3_34

    Chapter  Google Scholar 

  33. Dang, T., Maler, O., Testylier, R.: Accurate hybridization of nonlinear systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, 12–15 April 2010, pp. 11–20. ACM (2010)

    Google Scholar 

  34. David, A., Larsen, K.G., Legay, A., Mikučionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397–415 (2015)

    Article  Google Scholar 

  35. Donzé, A., Fanchon, E., Gattepaille, L.M., Maler, O., Tracqui, P.: Robustness analysis and behavior discrimination in enzymatic reaction networks. PLoS ONE 6, e24246 (2011)

    Article  Google Scholar 

  36. Dreossi, T.: Sapo: reachability computation and parameter synthesis of polynomial dynamical systems. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, 18–20 April 2017, pp. 29–34 (2017)

    Google Scholar 

  37. Duggirala, P.S., Mitra, S., Viswanathan, M., Potok, M.: C2E2: a verification tool for stateflow models. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 68–82. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-46681-0_5

    Chapter  Google Scholar 

  38. Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379–395. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22110-1_30

    Chapter  Google Scholar 

  39. Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291–305. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31954-2_19

    Chapter  MATH  Google Scholar 

  40. Girard, A., Le Guernic, C.: Zonotope/hyperplane intersection for hybrid systems reachability analysis. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 215–228. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78929-1_16

    Chapter  MATH  Google Scholar 

  41. Girard, A., Le Guernic, C., Maler, O.: Efficient computation of reachable sets of linear time-invariant systems with inputs. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 257–271. Springer, Heidelberg (2006). https://doi.org/10.1007/11730637_21

    Chapter  MATH  Google Scholar 

  42. Greenstreet, M.R., Mitchell, I.: Integrating projections. In: Henzinger, T.A., Sastry, S. (eds.) HSCC 1998. LNCS, vol. 1386, pp. 159–174. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-64358-3_38

    Chapter  Google Scholar 

  43. Greenstreet, M.R., Mitchell, I.: Reachability analysis using polygonal projections. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol. 1569, pp. 103–116. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48983-5_12

    Chapter  Google Scholar 

  44. Greenstreet, M.R.: Verifying safety properties of differential equations. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 277–287. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61474-5_76

    Chapter  Google Scholar 

  45. Le Guernic, C.: Reachability analysis of hybrid systems with linear continuous dynamics. (Calcul d’Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire). Ph.D. thesis, Joseph Fourier University, Grenoble, France (2009)

    Google Scholar 

  46. Le Guernic, C., Girard, A.: Reachability analysis of hybrid systems using support functions. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 540–554. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02658-4_40

    Chapter  Google Scholar 

  47. Henzinger, T.A., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond HyTech: hybrid systems analysis using interval numerical methods. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 130–144. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-46430-1_14

    Chapter  MATH  Google Scholar 

  48. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata? J. Comput. Syst. Sci. 57(1), 94–124 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  49. Henzinger, T.A., Manna, Z., Pnueli, A.: Timed transition systems. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 226–251. Springer, Heidelberg (1992). https://doi.org/10.1007/BFb0031995

    Chapter  Google Scholar 

  50. Ibtissem, B.M., Norman, H., Stefan, K.: HyReach: a reachability tool for linear hybrid systems based on support functions. In: ARCH Workshop (2016)

    Google Scholar 

  51. Karagiannis, E.D., Popel, A.S.: A theoretical model of type I collagen proteolysis by matrix metalloproteinase (MMP) 2 and membrane type 1 MMP in the presence of tissue inhibitor of metalloproteinase 2. J. Biol. Chem. 279(37), 39106–39114 (2004)

    Article  Google Scholar 

  52. Kempf, J.-F., Bozga, M., Maler, O.: As soon as probable: optimal scheduling under stochastic uncertainty. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 385–400. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36742-7_27

    Chapter  Google Scholar 

  53. Kong, S., Gao, S., Chen, W., Clarke, E.: dReach: \( \updelta \)-reachability analysis for hybrid systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 200–205. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-46681-0_15

    Chapter  Google Scholar 

  54. Kurzhanski, A., Valyi, I.: Ellipsoidal Calculus for Estimation and Control. Birkhauser, New York (1997)

    Book  MATH  Google Scholar 

  55. Kurzhanskiy, A.A., Varaiya, P.: Ellipsoidal toolbox (ET). In: Proceedings of 45th IEEE Conference on Decision and Control (2006)

    Google Scholar 

  56. Kvasnica, M., Grieder, P., Baotić, M., Morari, M.: Multi-parametric toolbox (MPT). In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 448–462. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24743-2_30

    Chapter  MATH  Google Scholar 

  57. Lafferriere, G., Pappas, G., Yovine, S.: Reachability computation for linear systems. In: Proceedings of the 14th IFAC World Congress, vol. E, pp. 7–12 (1999)

    Google Scholar 

  58. Maler, O., Krogh, B.H., Mahfoudh, M.: On control with bounded computational resources. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 147–162. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45739-9_11

    Chapter  Google Scholar 

  59. Maler, O., Manna, Z., Pnueli, A.: Prom timed to hybrid systems. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 447–484. Springer, Heidelberg (1992). https://doi.org/10.1007/BFb0032003

    Chapter  Google Scholar 

  60. Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT-2004. LNCS, vol. 3253, pp. 152–166. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30206-3_12

    Chapter  MATH  Google Scholar 

  61. Maler, O., Pnueli, A.: Reachability analysis of planar multi-linear systems. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 194–209. Springer, Heidelberg (1993). https://doi.org/10.1007/3-540-56922-7_17

    Chapter  Google Scholar 

  62. Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems (an extended abstract). In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229–242. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-59042-0_76

    Chapter  Google Scholar 

  63. Mitchell, I., Tomlin, C.J.: Level set methods for computation in hybrid systems. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 310–323. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-46430-1_27

    Chapter  MATH  Google Scholar 

  64. Mitchell, I.M., Templeton, J.A.: A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 480–494. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31954-2_31

    Chapter  MATH  Google Scholar 

  65. Platzer, A., Quesel, J.-D.: KeYmaera: a hybrid theorem prover for hybrid systems (system description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 171–178. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-71070-7_15

    Chapter  Google Scholar 

  66. Pourcelot, E., et al.: Cellular iron regulation in animals: need and use of suitable models, pp. 73–89. Karlsruher Institut für Technologie (KIT), January 2014

    Google Scholar 

  67. Prabhakar, P., Soto, M.G.: AVERIST: an algorithmic verifier for stability. Electron. Notes Theor. Comput. Sci. 317, 133–139 (2015). The Seventh and Eighth International Workshops on Numerical Software Verification (NSV)

    Article  MathSciNet  Google Scholar 

  68. Prabhakar, P., Viswanathan, M.: On the decidability of stability of hybrid systems. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, HSCC 2013, 8–11 April 2013, pp. 53–62. ACM, Philadelphia (2013)

    Google Scholar 

  69. Salah, R.B., Bozga, M., Maler, O.: Compositional timing analysis. In: Proceedings of the 9th ACM & IEEE International Conference on Embedded Software, EMSOFT 2009, Grenoble, France, 12–16 October 2009, pp. 39–48. ACM (2009)

    Google Scholar 

  70. Stoma, S., Donzé, A., Bertaux, F., Maler, O., Batt, G.: STL-based analysis of trail-induced apoptosis challenges the notion of type I/type II cell line classification. PLoS Comput. Biol. 9(5), e1003056 (2013)

    Article  Google Scholar 

  71. Tendulkar, P., Poplavko, P., Maler, O.: Symmetry breaking for multi-criteria mapping and scheduling on multicores. In: Braberman, V., Fribourg, L. (eds.) FORMATS 2013. LNCS, vol. 8053, pp. 228–242. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40229-6_16

    Chapter  MATH  Google Scholar 

  72. Testylier, R., Dang, T.: NLTOOLBOX: a library for reachability computation of nonlinear dynamical systems. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol. 8172, pp. 469–473. Springer, Cham (2013). https://doi.org/10.1007/978-3-319-02444-8_37

    Chapter  MATH  Google Scholar 

  73. Tomlin, C., Lygeros, J., Sastry, S.: Conflict resolution for air traffic management: a study in multi-agent hybrid systems. IEEE Trans. Autom. Control 43(4), 509–521 (1998)

    Article  MATH  Google Scholar 

  74. Varaiya, P.: Reach set computation using optimal control. In: Proceedings of KIT Workshop, pp. 377–383. Verimag, Grenoble (1998)

    Google Scholar 

  75. Vempati, P., Karagiannis, E.D., Popel, A.S.: A biochemical model of matrix metalloproteinase 9 activation and inhibition. J. Biol. Chem. 282(52), 37585–37596 (2007)

    Article  Google Scholar 

Download references

Acknowledgements

This note would not exist without the author’s numerous exchanges with Oded Maler and Eugene Asarin over the last two decades. Many details about Oded’s early career come from his Habilitation thesis and his various scientific writings.

Author information

Authors and Affiliations

  1. VERIMAG/CNRS, Université Grenoble Alpes, Grenoble, France

    Thao Dang

Authors
  1. Thao Dang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thao Dang .

Editor information

Editors and Affiliations

  1. Brno University of Technology, Brno, Czech Republic

    Milan Češka

  2. University of London, Royal Holloway, Egham, UK

    Nicola Paoletti

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Dang, T. (2019). Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler. In: Češka, M., Paoletti, N. (eds) Hybrid Systems Biology. HSB 2019. Lecture Notes in Computer Science(), vol 11705. Springer, Cham. https://doi.org/10.1007/978-3-030-28042-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-28042-0_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-28041-3

  • Online ISBN: 978-3-030-28042-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation