✦ LIBER ✦

State space reduction using partial order techniques

✍ Scribed by E.M. Clarke; O. Grumberg; M. Minea; D. Peled

Book ID: 106245612
Publisher: Springer
Year: 1999
Tongue: English
Weight: 182 KB
Volume: 2
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090050035

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial-Order Reduction in Symbolic Stat

Partial-Order Reduction in Symbolic State-Space Exploration

✍ R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 164 KB

Solution of some partial differential eq

Solution of some partial differential equations using State space techniques

✍ Curtis W. Dodd; Someshwar C. Gupta 📂 Article 📅 1969 🏛 Elsevier Science 🌐 English ⚖ 730 KB

The spatial discretization technique for the solution of certain partial differential equatio>ls is discussed. After determining a valid mathematical representation for the canonical parabolic partial differential equation two methods of determining the stability of the resulting high order system o

Partial-order Reduction Techniques for R

Partial-order Reduction Techniques for Real-time Model Checking

✍ Dennis Dams; Rob Gerth; Bart Knaack; Ruurd Kuiper 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 120 KB

Nonparametric Smoothing Using State Spac

Nonparametric Smoothing Using State Space Techniques

✍ Patrick E. Brown and Piet de Jong 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 French ⚖ 920 KB

Partial-order reduction for general stat

Partial-order reduction for general state exploring algorithms

✍ Dragan Bošnački; Stefan Leue; Alberto Lluch Lafuente 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 418 KB

Noise reduction in state-space digital f

Noise reduction in state-space digital filters using high-order error feedback

✍ Takao Hinamoto; Shuji Karino 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 549 KB