MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Hybrid Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5,971 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Hybrid Systems  
  • by Frits Vaandrager
  • …1 Hybrid Systems Frits Vaandrager 1 Introduction Hybrid systems are systems that intermix…
  • Add To MetaCart
  • Hybrid Systems  
  • by At The University, Xenofon D. Koutsoukos, Xenofon D. Koutsoukos, Panos J. Antsaklis, Panos J. Antsaklis
  • …Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems Technical Report…
  • Add To MetaCart
  • There Are no Hybrid Systems -  
  • by Multiple-Modeling Approach To, Peter Struss — 1999 — In Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems, AAAI Technical Report SS-99-05
  • …In: Hybrid Systems and AI: Modeling, Analysis and Control of Discrete and Continuous Systems, AAAI…
  • Add To MetaCart
  • Hybrid Systems  
  • by Rajeev Alur — 1996 — PROC. IEEE CONF. ON DECISION AND CONTROL
  • … Model checking is emerging as a practical tool for automated debugging of complex reactive systems…
  • Cited by 3 (0 self) – Add To MetaCart
  • Affine hybrid systems  
  • by Aaron D. Ames, Shankar Sastry — 2004 — in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science
  • …Affine Hybrid Systems Aaron D. Ames and Shankar Sastry University of California, Berkeley CA 94720…
  • Cited by 1 (0 self) – Add To MetaCart
  • Logics for Hybrid Systems  
  • by J. M. Davoren, Anil Nerode — 2000 — Proceedings of the IEEE
  • …Logics for Hybrid Systems J. M. DAVOREN, MEMBER, IEEE, AND ANIL NERODE, MEMBER, IEEE Invited Paper…
  • Cited by 74 (7 self) – Add To MetaCart
  • Decidable Hybrid Systems  
  • by Anuj Puri, Pravin Varaiya — 1996 — In Hybrid Systems III, LNCS 1066
  • …Decidable Hybrid Systems Anuj Puri and Pravin Varaiya Department of Electrical Engineering…
  • Cited by 13 (0 self) – Add To MetaCart
  • The algorithmic analysis of hybrid systems  
  • by R. Alur, C. Courcoubetis, X. Nicollin Z, N. Halbwachs Z, A. Olivero Z, J. Sifakis Z, S. Yovine Z — 1995 — Theoretical Computer Science
  • …Theoretical Computer Science 138 (1995) 3{34 1 The Algorithmic Analysis of Hybrid Systems R. Alur…
  • Cited by 451 (61 self) – Add To MetaCart
  • Observability for Hybrid Systems  
  • by Andrea Balluchi Parades, Via S. Pantaleo, Maria D. Di Benedetto — 2003
  • …@(email omitted); Abstract— The notion of generic final–state asymptotically determinable hybrid system is introduced. Then…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB