252 search results - page 13 / 51 » Decidable Controller Synthesis for Classes of Linear Systems |
87
Voted
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
102
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
115
Voted
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Switching linear dynamic systems (SLDS) attempt to describe a complex nonlinear dynamic system with a succession of linear models indexed by a switching variable. Unfortu...
92
Voted
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
94
Voted
ITC
1999
IEEE
15 years 4 months ago
1999
IEEE
A high-level built-in self-test (BIST) synthesis involves several tasks such as system register assignment, interconnection assignment, and BIST register assignment. Existing high...