575 search results - page 19 / 115 » Controller Synthesis for Probabilistic Systems |
SAC
2006
ACM
13 years 7 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
ICARCV
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper presents the controller synthesis for a fine actuation system of a 3-DOF micro parallel positioning platform. The platform is composed of a dual stage servo system fo...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Multiple clock cycles are needed to cross the global interconnects for multi-gigahertz designs in nanometer technologies. For synchronous design, this requires the consideration o...
CDC
2009
IEEE
14 years 19 days ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...