Sciweavers

252 search results - page 8 / 51
» Decidable Controller Synthesis for Classes of Linear Systems
Sort
View
CDC
2008
IEEE
170views Control Systems» more  CDC 2008»
14 years 3 months ago
Modeling and control of the protein synthesis process in eukaryotic cells
— Protein synthesis is an essential process of cell cycle and growth in eukaryotic cells. The initiation stage of the translation process is known to be the most crucial in regul...
Nadav S. Bar, Rahmi Lale
CDC
2009
IEEE
106views Control Systems» more  CDC 2009»
14 years 1 months ago
Gradient methods for iterative distributed control synthesis
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
Karl Martensson, Anders Rantzer
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
14 years 8 days ago
Finite-time tracking controller design for a general class of nonholonomic systems
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
Yuqiang Wu, Ruiying Yuan, Xiuyun Zheng
FOSSACS
2012
Springer
12 years 4 months ago
Synthesizing Probabilistic Composers
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
Sumit Nain, Moshe Y. Vardi
HYBRID
2000
Springer
14 years 17 days ago
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bour...