385 search results - page 48 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
IANDC
2008
13 years 7 months ago
2008
We consider a natural resource allocation problem in which we are given a set of items, where each item has a list of pairs associated with it. Each pair is a configuration of an a...
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Attenuation of sinusoidal disturbances with uncertain and arbitrarily time-varying frequencies is considered in the form of a generalized asymptotic regulation problem....
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...