MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstractions for hybrid systems." – sorted by Relevance.

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

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

93 documents found, showing 1 through 10. Next 10 →

ATOM

Abstractions for Hybrid Systems
by Ashish Tiwari — 2004 — Computer Science Laboratory, SRI International, Menlo Park, CA
…Abstractions for Hybrid Systems ∗ Ashish Tiwari (tiwari@(email omitted);) SRI International, 333…
Cited by 3 (0 self) – Add To MetaCart

Composing Abstractions of Hybrid Systems
by Paulo Tabuada, Gorge J. Pappas, Pedro Lima — 2002 — Hybrid Systems: Computation and Control
…Composing Abstractions of Hybrid Systems Paulo Tabuada 1 ,GeorgeJ.Pappas 1 , and Pedro Lima 2 1…
Cited by 6 (2 self) – Add To MetaCart

Discrete Abstractions of Hybrid Systems
by Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George, George J. Pappas — 2000 — Proceedings of the IEEE
…Discrete Abstractions of Hybrid Systems RAJEEV ALUR, MEMBER, IEEE, THOMAS A. HENZINGER, MEMBER…
Cited by 118 (19 self) – Add To MetaCart

Refining Abstractions of Hybrid Systems Using Counterexample Fragments
by Ansgar Fehnker, Edmund Clarke, Sumit Jha, Bruce Krogh — In Hybrid Systems: Computation and Control (HSCC’05), volume 3414 of Lect. Notes Comput. Sci
…Refining Abstractions of Hybrid Systems Using Counterexample Fragments Ansgar Fehnker, Edmund…
Cited by 2 (1 self) – Add To MetaCart

Counter-Example Guided Predicate Abstraction of Hybrid Systems
by Rajeev Alur, Thao Dang, Franjo Ivancic — 2003
…Counter-Example Guided Predicate Abstraction of Hybrid Systems Program Committee Member…
Cited by 20 (6 self) – Add To MetaCart

Invariancepreserving abstractions of Hybrid Systems: Application to User Interface Design
by Meeko Oishi, Ian Mitchell, Re Bayen, Claire Tomlin — IEEE Transactions on Control Systems Technology
…Invariance-Preserving Abstractions of Hybrid Systems: Application to User Interface Design ∗ Meeko…
Cited by 1 (1 self) – Add To MetaCart

Compositional abstractions of hybrid control systems
by Paulo Tabuada, George J. Pappas, Pedro Lima — 2001 — In Proceedings of the 40th IEEE Conference on Decision and Control
… Publishers. Manufactured in The Netherlands. Compositional Abstractions of Hybrid Control Systems PAULO…
Cited by 2 (0 self) – Add To MetaCart

Predicate abstraction for reachability analysis of hybrid systems
by Rajeev Alur — 2006 — ACM Trans. Embedded Comput. Syst
…Predicate Abstraction for Reachability Analysis of Hybrid Systems RAJEEV ALUR University…
Cited by 4 (1 self) – Add To MetaCart

Verification of Hybrid Systems using Abstractions
by Anuj Puri, Pravin Varaiya — 1994 — In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Shastry, editors, Hybrid Systems II, volume 999 of Lecture Notes in Computer Science
…Verification of Hybrid Systems using Abstractions ? Anuj Puri and Pravin Varaiya Department…
Cited by 16 (1 self) – Add To MetaCart

An introduction to hybrid systems modeling, analysis and control
by John Lygeros, George Pappas, Shankar Sastry — 1999 — In Preprints of the First Nonlinear Control Network Pedagogical School
…, AND SHANKAR SASTRY Abstract. Hybrid systems combine discrete event and continuous time dynamics and can serve…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB