✦ LIBER ✦

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems

✍ Scribed by Kim G. Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi

Book ID: 111548278
Publisher: Springer US
Year: 2003
Tongue: English
Weight: 407 KB
Volume: 25
Category: Article
ISSN: 0922-6443
DOI: 10.1023/a:1025132427497

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparing model checking and logical rea

Comparing model checking and logical reasoning for real-time systems

✍ Henning Dierks 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 242 KB

Delay-dependent model reduction for cont

Delay-dependent model reduction for continuous-time switched state-delayed systems

✍ Dong Wang; Wei Wang; Peng Shi 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 121 KB 👁 2 views

Identification and data-driven model red

Identification and data-driven model reduction of state-space representations of lossless and dissipative systems from noise-free data

✍ P. Rapisarda; H.L. Trentelman 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 383 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 510 || Model-checking for probabilistic real-time systems

✍ Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 949 KB

A state space modeling and control metho

A state space modeling and control method for multivariable smart structural systems

✍ Butler, Robert; Rao, Vittal 📂 Article 📅 1996 🏛 Institute of Physics 🌐 English ⚖ 315 KB

A local-field-type model for immunologic

A local-field-type model for immunological systems: time evolution in real and shape spaces

✍ Andrés R.R. Papa; Constantino Tsallis 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 820 KB

We introduce a new model for the interaction of immunological cells that takes into accounl their location in real space. Each one of the model cells mimics the real B cells in the sense that they detect antigens and they are also capable of reproducing themselves. We perform computer simulations fo