MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Linear Hybrid Action Systems." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

H.: Linear Hybrid Action Systems
by Mauno Ronkko, Ong Li, Lemminkaisenkatu A, Turku Centre, Turku Centre, Computer Science, Computer Science — 1999
…TUCS Linear Hybrid Action Systems Mauno Ronkko and Xuandong Li Turku Centre for Computer Science…
Cited by 1 (0 self) – Add To MetaCart

Verification of Linear Hybrid Action Systems
by Mauno Rönkkö, Mauno Ronkko, Xuandong Li — 1999
…Verification of Linear Hybrid Action Systems Mauno Ronkko Turku Centre for Computer Science…
Add To MetaCart

et al
by D. A. Van Beek, J. E. Rooda, R. R. H. Schiffelers, K. L. Man, M. A. Reniers — 1993 — Proc. Compton Symposium, (AIP
… hybrid action system, with proof of correctness, to a linear hybrid automaton has been defined. In [12…
Cited by 1 (0 self) – Add To MetaCart

Verifying Real-Time Joint Action Specifications Using Timed Automata
by Timo Aaltonen, Mika Katara, Risto Pitkänen
… of view. A translation from linear hybrid action systems into linear hybrid automata is presented in [20…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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