✦ LIBER ✦

Analysis of Timed Systems Using Time-Abstracting Bisimulations

✍ Scribed by Stavros Tripakis; Sergio Yovine

Book ID: 110266972
Publisher: Springer
Year: 2001
Tongue: English
Weight: 354 KB
Volume: 18
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008734703554

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Verification Using

Real-Time Systems || Verification Using Timed Automata

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 192 KB 👁 2 views

Finite automata and temporal logics have been used extensively to formally verify qualitative properties of concurrent systems. The properties include deadlock-or livelock-freedom, the eventual occurrence of an event, and the satisfaction of a predicate. The need to reason with absolute time is unne

Schedulability analysis of fixed-priorit

Schedulability analysis of fixed-priority systems using timed automata

✍ Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 672 KB

Robust stability analysis of time-varyin

Robust stability analysis of time-varying systems using time-varying quadratic forms

✍ Jeff S Shamma 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 263 KB

Response Time Analysis of Asynchronous R

Response Time Analysis of Asynchronous Real-Time Systems

✍ Guillem Bernat 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 427 KB

Specification and Timing Analysis of Rea

Specification and Timing Analysis of Real-Time Systems

✍ Shuhua Wang; Grace Tsai 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 513 KB

Nonstochastic analysis of manufacturing

Nonstochastic analysis of manufacturing system using timed-event graphs

✍ Tod Amon; Henrik Hulgaard 📂 Article 📅 1996 🏛 Society of Manufacturing Engineers 🌐 English ⚖ 831 KB