Cover Image

Verification of digital and hybrid systems /

Show other versions (1)

This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is based on a NATO workshop. It has two parts. Part 1 addresses the basics of computer-aided verification of discrete event systems from two perspectives:...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), NATO Advanced Study Institute on Verification of Digital and Hybrid Systems
Other Authors: Inan, M. Kemal, 1942-, Kurshan, R. P., 1943-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2000]
Series:NATO ASI series. Computer and systems sciences ; no. 170.
Subjects:
Computer systems > Verification > Congresses.
Logiciels > Vérification.
Computer systems > Verification.
Calculateurs hybrides > Congrès.
Ordinateurs > Fiabilité > Congrès.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is based on a NATO workshop. It has two parts. Part 1 addresses the basics of computer-aided verification of discrete event systems from two perspectives: automated theorem proving and model checking. In model checking, the essential problem of computational complexity is addressed, and the basic heuristics for dealing with this problem are presented. Part 2 formulates and classifies hybrid systems that capture continuous dynamics interacting with activated discrete event interruptions modeled by automata, and presents and discusses properties relevant to design and verification such as decidability, complexity, and expressibility for computer tools. The theory is illustrated with real-life examples. One novel and industrially relevant example is that of an intelligent highway transport system.
Item Description:"Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26-June 6, 1997"--Title page verso.
Electronic resource.
Physical Description:1 online resource (xviii, 405 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references and index.
ISBN:9783642596155 (electronic bk.)
3642596150 (electronic bk.)