Verification of Digital and Hybrid Systems

Verification of Digital and Hybrid Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 422
Release :
ISBN-10 : 9783642596155
ISBN-13 : 3642596150
Rating : 4/5 (150 Downloads)

Book Synopsis Verification of Digital and Hybrid Systems by : M. Kemal Inan

Download or read book Verification of Digital and Hybrid Systems written by M. Kemal Inan and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 422 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out.


Verification of Digital and Hybrid Systems Related Books

Verification of Digital and Hybrid Systems
Language: en
Pages: 428
Authors: M. Kemal Inan
Categories:
Type: BOOK - Published: 2000-03-16 - Publisher:

DOWNLOAD EBOOK

Verification of Digital and Hybrid Systems
Language: en
Pages: 422
Authors: M. Kemal Inan
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer schoo
Hybrid Systems
Language: en
Pages: 488
Authors: Robert Grossman
Categories: Computers
Type: BOOK - Published: 1993 - Publisher: Springer

DOWNLOAD EBOOK

"Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are ty
Advanced Computing and Systems for Security: Volume 14
Language: en
Pages: 213
Authors: Rituparna Chaki
Categories: Technology & Engineering
Type: BOOK - Published: 2021-09-21 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book features extended versions of selected papers that were presented and discussed at the 8th International Doctoral Symposium on Applied Computation and
Modeling, Design, and Simulation of Systems with Uncertainties
Language: en
Pages: 356
Authors: Andreas Rauh
Categories: Technology & Engineering
Type: BOOK - Published: 2011-06-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

To describe the true behavior of most real-world systems with sufficient accuracy, engineers have to overcome difficulties arising from their lack of knowledge