MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification of Timed and Hybrid Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Verification of Timed and Hybrid Systems
by Kim Guldstrand Larsen — 2000
…Verification of Timed and Hybrid Systems Kim Guldstrand Larsen BRICS # # # , Dep. of Computer…
Cited by 1 (0 self) – Add To MetaCart

From Timed to Hybrid Systems
by Oded Maler, Zohar Manna, Amir Pnueli — 1992
… framework for the formal specification and verification of timed and hybrid systems. For timed systems we…
Cited by 120 (14 self) – Add To MetaCart

MathSAT: Tight integration of SAT and mathematical decision procedures
by Marco Bozzano, Roberto Bruttomesso, Ro Cimatti, Tommi Junttila, Stephan Schulz, Roberto Sebastiani — 2005 — Journal of Automated Reasoning
… is not expressive enough for many other real-world applications, including the verification of timed and hybrid…
Cited by 13 (2 self) – Add To MetaCart

Essential Reading: Theory of Timed and Hybrid Systems
by R. Ramanujam, Paritosh K. Pandya, Afh R. Alur, T. Feder, Hkpv T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya What's Decidable — 1997 — Proc. IEEE Conf. on Decision and Control
… Verification of Timed and Hybrid Systems The Manna-- Pnueli approach to proving MTL specifications [MP93] Timed…
Add To MetaCart

Efficiently solving hybrid logic/optimization problems through generalized conflict learning. ICAPS
by Hui Li, Brian Williams — 2005
… to solve. Examples include planning with resources, autonomous vehicle control and verification of timed…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB