MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

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

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

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

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

ATOM

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

Computational techniques for the verification of hybrid systems
by Claire J. Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi — 2003 — Proceedings of the IEEE
…Computational Techniques for the Verification of Hybrid Systems CLAIRE J. TOMLIN, IAN MITCHELL…
Cited by 16 (3 self) – Add To MetaCart

Approaches to the Formal Verification of Hybrid Systems
by S. Kowalewski, Kowalewski Frankfurt Herrmann, S. Engell, H. Krumm, H. Treseler, Dortmund Y. Lakhnech, Grenoble R. Huuck, B. Lukoschus — 2001
…Verification of Hybrid Systems at 0/00 Approaches to the Formal Verification of Hybrid Systems S…
Cited by 3 (1 self) – Add To MetaCart

Computational Tools for the Verification of Hybrid Systems
by Claire J. Tomlin, Stephen P. Boyd, Ian Mitchell, Alexandre Bayen, Re Bayen, Mikael Johansson, Lin Xiao
…Computational Tools for the Verication of Hybrid Systems Claire J. Tomlin and Stephen P. Boyd Ian…
Cited by 2 (0 self) – Add To MetaCart

Information Structures for Control and Verification of Hybrid Systems
by Akash Deshpande, Pravin Varaiya — 1995 — In Proceedings of 1995 American Control Conference
…Information Structures for Control and Verification of Hybrid Systems 1 Akash Deshpande and Pravin…
Add To MetaCart

Safety Verification of Hybrid Systems Using Barrier Certificates
by Stephen Prajna, Ali Jadbabaie — 2004 — In Hybrid Systems: Computation and Control
…Safety Verification of Hybrid Systems Using Barrier Certificates Stephen Prajna 1 and Ali…
Cited by 25 (1 self) – Add To MetaCart

Verification of Hybrid Systems via Mathematical Programming
by Alberto Bemporad, Manfred Morari — 1999 — Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science
…Verification of Hybrid Systems via Mathematical Programming Alberto Bemporad and Manfred Morari…
Cited by 17 (5 self) – Add To MetaCart

A study of Decompositional Verification of Hybrid Systems
by Martin Westhead, Martin Westhead — 1995
… verification, Esterel. A study of Decompositional Verification of Hybrid Systems Martin Westhead (martinwe…
Cited by 1 (0 self) – Add To MetaCart

A geometric approach to bisimulation and verification of hybrid systems
by Mireille Broucke — 1999 — Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science
…A geometric approach to bisimulation and verification of hybrid systems Mireille Broucke Deparment…
Cited by 19 (3 self) – Add To MetaCart

Automatic Verification of Hybrid Systems: An Audio Control Protocol
by Luis Ricardo Sierra Abbate
…Automatic Verification of Hybrid Systems : An Audio Control Protocol Luis Ricardo Sierra Abbate…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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