Searching for "Formal Design of Hybrid Systems." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Modeling and Analysis of Hybrid Control Systems
by Ying Zhang, Alan K Mackworth — 1999
… logics, has also been applied to the formal design of hybrid systems. From the formal automata…
Cited by 1 (0 self) – Add To MetaCart

An Adequate First Order Interval Logic
by Zhou Chaochen, Michael R. Hansen — 1996 — In COMPOS'97, volume 1536 of LNCS
…] and TLA + [8]. Formal design of hybrid systems calls for a logic capable to axiomatize (parts of) real…
Cited by 16 (2 self) – Add To MetaCart

Showing 1 through 2.

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