skip to main content
10.1145/1755952.1755953acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
invited-talk

Amir Pnueli and the dawn of hybrid systems

Published: 12 April 2010 Publication History

Abstract

In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contributions of the late Amir Pnueli, mildly annotated with some opinions of mine.

References

[1]
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theor. Comput. Sci., 138(1):3--34, 1995.
[2]
R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183--235, 1994.
[3]
R. Alur, T. Feder, and T.A. Henzinger. The benefits of relaxing punctuality. J. ACM, 43(1):116--146, 1996.
[4]
E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli. Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE, 88(7):1011--1025, 2000.
[5]
E. Asarin and O. Maler. As soon as possible: Time optimal control for timed automata. In HSCC, pages 19--30, 1999.
[6]
E. Asarin, O. Maler, and A. Pnueli. Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science, 138(1):35--65, 1995.
[7]
J.W. de Bakker, C. Huizing, W.-P. de Roever, and G. Rozenberg, editors. Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer, 1992.
[8]
A. Donzé and O. Maler. Robust satisfiability of temporal logic over real--valued signals. Submitted for publication, 2010.
[9]
R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel. Hybrid systems, volume 736 of Lecture notes in computer science, 1993.
[10]
D. Harel and A. Pnueli. On the development of reactive systems. In K. R. Apt, editor, Logics and Models of Concurrent Systems, NATO ASI Series, pages 477--498. Springer-Verlag, 1985.
[11]
E. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In LICS, pages 402--413, 1990.
[12]
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. Hytech: A model checker for hybrid systems. In CAV, pages 460--463, 1997.
[13]
T.A. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In de Bakker et al. {7}, pages 226--251.
[14]
T.A. Henzinger and S. Sastry. Hybrid Systems: Computation and Control. Springer Berlin, 1998.
[15]
Y. Kesten and A. Pnueli. Timed and hybrid statecharts and their textual representation. In FTRTFT, pages 591--620, 1992.
[16]
R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Systems, 2(4):255--299, 1990.
[17]
J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35:349--370, 1999.
[18]
O. Maler. Hybrid systems and real-world computations. Unpublished manuscript, 1992.
[19]
O. Maler. Control from computer science. Annual Reviews in Control, 26(2):175--187, 2002.
[20]
O. Maler. On optimal and reasonable control in the presence of adversaries. Annual Reviews in Control, 31(1):1--15, 2007.
[21]
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In de Bakker et al. {7}, pages 447--484.
[22]
O. Maler, D. Nickovic, and A. Pnueli. From MITL to timed automata. In FORMATS, pages 274--289, 2006.
[23]
O. Maler, D. Nickovic, and A. Pnueli. Checking temporal properties of discrete, timed and continuous behaviors. In Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pages 475--505, 2008.
[24]
O. Maler and A. Pnueli. Timing analysis of asynchronous circuits using timed automata. In CHARME, pages 189--205, 1995.
[25]
O. Maler and A. Pnueli, editors. Hybrid Systems: Computation and Control, volume 2623 of Lecture Notes in Computer Science. Springer, 2003.
[26]
O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In STACS, pages 229--242, 1995.
[27]
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag New York, 1991.
[28]
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag New York, 1995.
[29]
A. Pnueli. The temporal logic of programs. In Proc. 18th Annual Symposium on Foundations of Computer Science (FOCS), pages 46--57, 1977.
[30]
A. Pnueli. The Temporal Semantics of Concurrent Programs. Theoretical Computer Science, 13:45--60, 1981.
[31]
A. Pnueli and E. Harel. Applications of temporal logic to the specification of real-time systems. In FTRTFT, pages 84--98, 1988.
[32]
A. Pnueli and C.L. Pekeris. Free tidal oscillations in rotating flat basins of the form of rectangles and of sectors of circles. Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 263(1138):149--171, 1968.

Cited By

View all
  • (2022)A model of systems with modes and mode transitionsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2022.100774127(100774)Online publication date: Jun-2022
  • (2022)Reachability Analysis for Cyber-Physical Systems: Are We There Yet?NASA Formal Methods10.1007/978-3-031-06773-0_6(109-130)Online publication date: 24-May-2022
  • (2017)DEVELOPMENT OF A MULTI-AGENT COLLISION RESOLUTION SYSTEM AT THE SUPPLY OF SPARE PARTS AND COMPONENTS TO THE PRODUCTION EQUIPMENT OF INDUSTRIAL ENTERPRISESEUREKA: Physics and Engineering10.21303/2461-4262.2017.005056(27-34)Online publication date: 30-Nov-2017
  • Show More Cited By

Index Terms

  1. Amir Pnueli and the dawn of hybrid systems

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
    April 2010
    308 pages
    ISBN:9781605589558
    DOI:10.1145/1755952

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 12 April 2010

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tag

    1. hybrid systems

    Qualifiers

    • Invited-talk

    Conference

    HSCC '10
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 153 of 373 submissions, 41%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 13 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)A model of systems with modes and mode transitionsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2022.100774127(100774)Online publication date: Jun-2022
    • (2022)Reachability Analysis for Cyber-Physical Systems: Are We There Yet?NASA Formal Methods10.1007/978-3-031-06773-0_6(109-130)Online publication date: 24-May-2022
    • (2017)DEVELOPMENT OF A MULTI-AGENT COLLISION RESOLUTION SYSTEM AT THE SUPPLY OF SPARE PARTS AND COMPONENTS TO THE PRODUCTION EQUIPMENT OF INDUSTRIAL ENTERPRISESEUREKA: Physics and Engineering10.21303/2461-4262.2017.005056(27-34)Online publication date: 30-Nov-2017
    • (2016)Some Thoughts on Runtime VerificationRuntime Verification10.1007/978-3-319-46982-9_1(3-14)Online publication date: 20-Sep-2016
    • (2014)Algorithmic Verification of Continuous and Hybrid SystemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.140.4140(48-69)Online publication date: 23-Feb-2014
    • (2014)ControlAutomatica (Journal of IFAC)10.1016/j.automatica.2013.10.01250:1(3-43)Online publication date: 1-Jan-2014
    • (2014)The Unmet Challenge of Timed SystemsFrom Programs to Systems. The Systems perspective in Computing10.1007/978-3-642-54848-2_12(177-192)Online publication date: 2014

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media