Advertisement

Table of contents

  1. Front Matter
  2. John Lygeros, Datta N. Godbole, Shankar Sastry
    Pages 1-12
  3. Yonit Kesten, Zohar Manna, Amir Pnueli
    Pages 13-40
  4. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
    Pages 52-63
  5. Mrinal K. Ghosh, Steven I. Marcus, Aristotle Arapostathis
    Pages 64-75
  6. Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
    Pages 76-100
  7. H. B. Weinberg, Nancy Lynch, Norman Delisle
    Pages 101-113
  8. Akash Deshpande, Datta Godbole, Aleks Göllü, Pravin Varaiya
    Pages 138-148
  9. John-Morten Godhavn, Trygve Lauvdal, Olav Egeland
    Pages 149-160
  10. John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros
    Pages 161-172
  11. Thomas I. Seidman
    Pages 201-207
  12. C. Daws, A. Olivero, S. Tripakis, S. Yovine
    Pages 208-219
  13. Rajeev Alur, Robert P. Kurshan
    Pages 220-231
  14. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Pages 232-243
  15. V. D. Dimitriadis, N. Shah, C. C. Pantelides
    Pages 244-257
  16. Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top
    Pages 282-293
  17. Constance Heitmeyer
    Pages 304-314
  18. D. Sinclair, E. Holz, D. Witaszek, M. Wasowski
    Pages 315-326
  19. Darren D. Cofer, Vijay K. Garg
    Pages 340-349
  20. Anuj Puri, Vivek Borkar, Pravin Varaiya
    Pages 362-376
  21. Thomas A. Henzinger, Howard Wong-Toi
    Pages 377-388
  22. Kārlis Čerāns, Juris Vīksna
    Pages 389-400
  23. Ingo Hoffmann, Karsten-Ulrich Klatt
    Pages 401-412
  24. Mikhail Kourjanski, Pravin Varaiya
    Pages 413-423
  25. Hong Seong Park, Young Sin Kim, Wook Hyun Kwon, Sang Jeong Lee
    Pages 424-435
  26. James A. Stiver, Panos J. Antsaklis, Michael D. Lemmon
    Pages 464-474
  27. Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury
    Pages 475-484
  28. Nancy Lynch, Roberto Segala, Frits Vaandrager, H. B. Weinberg
    Pages 496-510
  29. Zhou Chaochen, Wang Ji, Anders P. Ravn
    Pages 511-530
  30. Ahmed Bouajjani, Yassine Lakhnech
    Pages 531-542
  31. Christopher J. Bett, Michael Lemmon
    Pages 543-552
  32. Andrey V. Savkin, Robin J. Evans, Ian R. Petersen
    Pages 553-562
  33. Jörg Raisch, Siu O'Young
    Pages 563-574
  34. Kim G. Laxsen, Paul Pettersson, Wang Yi
    Pages 575-586
  35. Kim G. Larsen, Bernhard Steffen, Carsten Weise
    Pages 604-615
  36. Back Matter

About these proceedings

Introduction

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

Keywords

Computer Digital Control Technology Digitale Steuerungstechnologie Formal Methods Formale Methoden Hybrid Systems Hybride Systeme System Systems Control automata formal specification formal verification modeling real-time verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0020931
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61155-4
  • Online ISBN 978-3-540-68334-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Aerospace