4693 search results - page 217 / 939 » Verifying Hybrid Systems |
156
click to vote
HYBRID
2000
Springer
15 years 9 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 ...
165
click to vote
AAAI
2000
15 years 7 months ago
2000
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
137
Voted
KES
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a hybrid architecture that facilitates the incurporation of a case-based planning system as the reasoning motor for a deliberative agent. This archite...
140
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
157
Voted
CDC
2010
IEEE
15 years 18 days ago
2010
IEEE
This paper considers a real-time algorithm for performance optimization of switched-mode hybrid dynamical systems. The controlled parameter consists of the switching times between ...