Finite bisimulations of controllable linear systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Paulo Tabuada, George J. Pappas. Finite bisimulations of controllable linear systems. In 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003. pages 634-639, IEEE, 2003. [doi]

The following publications are possibly variants of this publication:

Bisimulation Relations for Dynamical and Control SystemsEsfandiar Haghverdi, Paulo Tabuada, George J. Pappas. ENTCS, 69:120-136, 2002. [doi]

Bisimulation relations for dynamical, control, and hybrid systemsEsfandiar Haghverdi, Paulo Tabuada, George J. Pappas. TCS, 342(2-3):229-261, 2005. [doi]

Symbolic Models for Nonlinear Control Systems: Alternating Approximate BisimulationsGiordano Pola, Paulo Tabuada. siamco, 48(2):719-733, 2009. [doi]

runs on WebDSL