1287 search results - page 56 / 258 » Reduction of Timed Hybrid Systems |
127
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
178
click to vote
GAMEON
2003
15 years 5 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
143
click to vote
ROBOCUP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
141
click to vote
AAAI
1990
15 years 5 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
139
click to vote
PR
2006
15 years 4 months ago
2006
All of the prototype reduction schemes (PRS) which have been reported in the literature, process time-invariant data to yield a subset of prototypes that are useful in nearest-nei...