320 search results - page 26 / 64 » Constructing Invariants for Hybrid Systems |
165
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...
143
click to vote
GPCE
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
162
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
151
click to vote
IJCAI
2007
15 years 7 months ago
2007
Electoral control refers to attempts by an election’s organizer (“the chair”) to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreak...
153
click to vote
HYBRID
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...