532 search results - page 1 / 107 » Optimal Control Using Bisimulations: Implementation |
HYBRID
2001
Springer
13 years 9 months ago
2001
Springer
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
AUTOMATICA
2007
13 years 5 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
VMCAI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...