385 search results - page 29 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
REX
1991
13 years 11 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
DATE
2002
IEEE
14 years 20 days ago
2002
IEEE
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
JIRS
2008
13 years 7 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
PG
2007
IEEE
14 years 2 months ago
2007
IEEE
Interactive animation systems often use a level-of-detail (LOD) control to reduce the computational cost by eliminating unperceivable details of the scene. Most methods employ a m...
SCL
2008
13 years 7 months ago
2008
We introduce a new class of dynamic encoders for continuous-time nonlinear control systems which update their parameters only at discrete times. We prove that the information reco...