2377 search results - page 292 / 476 » Hybrid Systems in TLA |
172
click to vote
CEEMAS
2003
Springer
15 years 11 months ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
200
click to vote
CONSTRAINTS
2002
15 years 6 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
213
click to vote
AB
2007
Springer
16 years 20 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
175
click to vote
ICEBE
2005
IEEE
16 years 2 days ago
2005
IEEE
Electronic commerce is emerging as a major application area for database systems. A large number of e-commerce stores provide electronic product catalogs that allow customers to s...
157
click to vote
HYBRID
2009
Springer
15 years 10 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...