138 search results - page 8 / 28 » Control for discrete singular hybrid systems |
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...
HYBRID
1999
Springer
14 years 22 days ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
WSC
2004
13 years 9 months ago
2004
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...