241 search results - page 20 / 49 » Controlled Invariance of Discrete Time Systems |
ENTCS
2007
13 years 8 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
MAM
2008
13 years 8 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
ICRA
2009
IEEE
2009
IEEE
Temporal stabilization of discrete movement in variable environments: An attractor dynamics approach
13 years 5 months ago
The ability to generate discrete movement with distinct and stable time courses is important for interaction scenarios both between different robots and with human partners, for ca...