4520 search results - page 119 / 904 » Algebraic Techniques for Timed Systems |
156
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
190
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
186
click to vote
AAMAS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
188
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
144
click to vote
ISTA
2007
15 years 8 months ago
2007
: Soccer simulation is an effort to motivate researchers to perform artificial and robotic intelligence investigations in a multi-agent system framework. In this paper, we propose ...