Verification of Digital and Hybrid Systems
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642640520, 9783642596155

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Teja System for Real-Time Dynamic Event Management

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_18 ◽

2000 ◽

pp. 372-390

Author(s):

Akash Deshpande

Keyword(s):

Real Time ◽

Event Management ◽

Time Dynamic ◽

Dynamic Event

Download Full-text

Reach Set Computation Using Optimal Control

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_15 ◽

2000 ◽

pp. 323-331 ◽

Cited By ~ 20

Author(s):

Pravin Varaiya

Keyword(s):

Optimal Control

Download Full-text

Partial Order Reductions

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_9 ◽

2000 ◽

pp. 163-182

Author(s):

Doron Peled

Keyword(s):

Partial Order

Download Full-text

Temporal Logic and Model Checking

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_3 ◽

2000 ◽

pp. 36-54 ◽

Cited By ~ 1

Author(s):

Kenneth L. McMillan

Keyword(s):

Model Checking ◽

Temporal Logic

Download Full-text

Timed Automata

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_12 ◽

2000 ◽

pp. 233-264 ◽

Cited By ~ 1

Author(s):

Rajeev Alur

Keyword(s):

Timed Automata

Download Full-text

Formal Verification in a Commercial Settings

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_11 ◽

2000 ◽

pp. 220-230

Author(s):

R. P. Kurshan

Keyword(s):

Formal Verification

Download Full-text

General Purpose Theorem Proving Methods in the Verification of Digital Hardware and Software

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_2 ◽

2000 ◽

pp. 14-35

Author(s):

J. Strother Moore

Keyword(s):

Theorem Proving ◽

General Purpose ◽

Digital Hardware

Download Full-text

The Theory of Hybrid Automata

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_13 ◽

2000 ◽

pp. 265-292 ◽

Cited By ~ 137

Author(s):

Thomas A. Henzinger

Keyword(s):

Hybrid Automata

Download Full-text

Automated Highway Systems: an Example of Hierarchical Control

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_19 ◽

2000 ◽

pp. 391-402

Author(s):

Pravin Varaiya

Keyword(s):

Hierarchical Control ◽

Automated Highway Systems ◽

Automated Highway

Download Full-text

Control for a Class of Hybrid Systems

Verification of Digital and Hybrid Systems ◽

10.1007/978-3-642-59615-5_16 ◽

2000 ◽

pp. 332-354

Author(s):

Jan H. van Schuppen

Keyword(s):

Hybrid Systems

Download Full-text