• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Correctness of Vehicle Control Systems: A Case Study (1996)

Cached

  • Download as a PDF

Download Links

  • [www.lcs.mit.edu]
  • [theory.lcs.mit.edu]
  • [www.lcs.mit.edu]
  • [publications.csail.mit.edu]
  • [bitsavers.informatik.uni-stuttgart.de]
  • [theory.lcs.mit.edu]
  • [groups.csail.mit.edu]
  • [theory.lcs.mit.edu]
  • [groups.csail.mit.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Henri B. Weinberg
Venue:IN 17TH IEEE REAL-TIME SYSTEMS SYMPOSIUM
Citations:13 - 6 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@INPROCEEDINGS{Weinberg96correctnessof,
    author = {Henri B. Weinberg},
    title = {Correctness of Vehicle Control Systems: A Case Study},
    booktitle = {IN 17TH IEEE REAL-TIME SYSTEMS SYMPOSIUM},
    year = {1996},
    pages = {62--72},
    publisher = {Also}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

A hybrid system is one in which digital components and analog components interact. Typical examples of hybrid systems are real-time process-control systems such as automated factories or automated transportation systems, in which the digital components monitor and control continuous physical processes in the analog components. The computer science community has developed formal models and methods for reasoning about digital systems, while the control theory community has done the same for analog systems. However, systems that combine both types of activity appear to require new methods. The development and application of such methods is an active area of current research. One of the formal tools that has been developed is the hybrid I/O automaton (HIOA) model [1]. In this case study, we show how this model can be used to specify and verify part of an automated transportation system --- a vehicle deceleration maneuver. We investigate how techniques such as automata composition, invaria...

Keyphrases

case study    vehicle control system    hybrid system    transportation system    analog component    control theory community    new method    real-time process-control system    digital component monitor    typical example    digital system    formal tool    automated factory    current research    control continuous physical process    formal model    active area    digital component    computer science community    vehicle deceleration maneuver    analog system    automaton composition   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University