MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "An algebra of hybrid systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Process Algebra for Hybrid Systems  
  • by Jan Joris Vereijken — 1995 — The Second European Workshop on Real-Time and Hybrid Systems
  • …1 Introduction A Process Algebra for Hybrid Systems Jan Joris Vereijken Department of Computing…
  • Cited by 3 (0 self) – Add To MetaCart
  • A Process Algebra for Hybrid Systems  
  • by Jan Joris, Jan Joris Vereijken — 1995 — The Second European Workshop on Real-Time and Hybrid Systems
  • …A Process Algebra for Hybrid Systems Jan Joris Vereijken Department of Computing Science…
  • Add To MetaCart
  • Continuity Controlled Hybrid Automata  
  • by J. A. Bergstra, C. A. Middelburg — 2006 — in Journal of Logic and Algebraic Programming
  • … the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata…
  • Cited by 2 (0 self) – Add To MetaCart
  • Algorithmic Algebraic Model Checking II:  
  • by Decidability Of Semi-Algebraic, V. Mysore, C. Piazza, B. Mishra — 2005 — In Automated Technology for Verification and Analysis (ATVA
  • … Checking Our main results for semi-algebraic hybrid systems may be summarized thus: (1) Reachability…
  • Add To MetaCart
  • Constructing Invariants for Hybrid Systems  
  • by Sriram Sankaranarayanan, Henny Sipma, Zohar Manna — 2004 — in Hybrid Systems: Computation and Control, LNCS 2993
  • … systems in order to generate algebraic invariants for hybrid systems. In doing so, we present a new…
  • Cited by 15 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB