Skip to main content
SpringerLink
Log in

Hybrid Systems III

Verification and Control

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Rajeev Alur
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas A. Henzinger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Eduardo D. Sontag
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1066)

Included in the following conference series:

Conference proceedings info: HS 1995.

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

Access this book

Log in via an institution
Softcover Book USD 109.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (48 papers)

  1. Front Matter

    Download chapter PDF

  2. A game-theoretic approach to hybrid system design

    • John Lygeros, Datta N. Godbole, Shankar Sastry
    Pages 1-12

  3. Verifying clocked transition systems

    • Yonit Kesten, Zohar Manna, Amir Pnueli
    Pages 13-40

  4. Compositional and uniform modelling of hybrid systems

    • Albert Benveniste
    Pages 41-51

  5. Hybrid cc, hybrid automata and program verification

    • Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
    Pages 52-63

  6. Controlled switching diffusions as hybrid processes

    • Mrinal K. Ghosh, Steven I. Marcus, Aristotle Arapostathis
    Pages 64-75

  7. Hybrid systems: Chattering approximation to relaxed controls

    • Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
    Pages 76-100

  8. Verification of automated vehicle protection systems

    • H. B. Weinberg, Nancy Lynch, Norman Delisle
    Pages 101-113

  9. Extended RTL in the specification and verification of an industrial press

    • Rogério de Lemos, Jon G. Hall
    Pages 114-125

  10. Abstract verification of structured dynamical systems

    • Michel Sintzoff
    Pages 126-137

  11. Design and evaluation tools for Automated Highway Systems

    • Akash Deshpande, Datta Godbole, Aleks Göllü, Pravin Varaiya
    Pages 138-148

  12. Hybrid control in Sea Traffic Management Systems

    • John-Morten Godhavn, Trygve Lauvdal, Olav Egeland
    Pages 149-160

  13. Verification of hybrid systems: Monotonicity in the AHS control system

    • John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros
    Pages 161-172

  14. Examples of stabilization with hybrid feedback

    • Zvi Artstein
    Pages 173-185

  15. General hybrid dynamical systems: Modeling, analysis, and control

    • Michael S. Branicky
    Pages 186-200

  16. The residue of model reduction

    • Thomas I. Seidman
    Pages 201-207

  17. The tool Kronos

    • C. Daws, A. Olivero, S. Tripakis, S. Yovine
    Pages 208-219

  18. Timing analysis in COSPAN

    • Rajeev Alur, Robert P. Kurshan
    Pages 220-231

  19. UPPAAL — a tool suite for automatic verification of real-time systems

    • Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Pages 232-243

  20. Optimal design of hybrid controllers for hybrid process systems

    • V. D. Dimitriadis, N. Shah, C. C. Pantelides
    Pages 244-257
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation