289 search results - page 21 / 58 » Compositional analysis for linear control systems |
AUTOMATICA
1999
13 years 8 months ago
1999
We consider stability analysis and state feedback synthesis for Linear Parameter Varying (LPV) systems. LPV systems are de"ned as linear systems whose dynamics depend on exog...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
This work introduces a robot driven camera controlled by speech. The SIMIS database of 20 recordings of real life surgical operations serves as basis for analyses and noise modell...
DOCENG
2003
ACM
14 years 2 months ago
2003
ACM
In this paper, we present a framework for coupling an existing formatting system such as SMIL [7] and Madeus [13] with a formatting control system XEF [10]. This framework allows ...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...