Hybrid Systems with Finite Bisimulations - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gerardo Lafferriere, George J. Pappas, Shankar Sastry. Hybrid Systems with Finite Bisimulations. In Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry, editors, Hybrid Systems V. Volume 1567 of Lecture Notes in Computer Science, pages 186-203, Springer, 1997. [doi]

The following publications are possibly variants of this publication:

Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal SystemsTak-John Koo, Shankar Sastry. hybrid 2002: 281-293 [doi]

runs on WebDSL