Sciweavers

12950 search results - page 445 / 2590
» On Optimal Timed Strategies
Sort
View
FORMATS
2009
Springer
15 years 11 months ago
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
Peter Bulychev, Thomas Chatain, Alexandre David, K...
FM
2005
Springer
114views Formal Methods» more  FM 2005»
16 years 16 days ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
COR
2006
107views more  COR 2006»
15 years 7 months ago
Vehicle routing and scheduling with dynamic travel times
The field of dynamic vehicle routing and scheduling is growing at a fast pace nowadays, due to many potential applications in courier services, emergency services, truckload and l...
Jean-Yves Potvin, Ying Xu, Ilham Benyahia
CDC
2010
IEEE
166views Control Systems» more  CDC 2010»
14 years 10 months ago
Continuous Preview Control of Dual-Stage Actuator systems for reduced transition time
— Preview Control design is proposed in order to reduce the settling time of Dual-Stage Actuators (DSA’s). It is shown that a significantly better performance is achieved by e...
Aurelio Tergolina Salton, Zhiyong Chen, Jinchuan Z...
GECCO
2004
Springer
117views Optimization» more  GECCO 2004»
16 years 12 days ago
Multi-agent Foreign Exchange Market Modelling Via GP
In this work genetic programming is used to express and evolve trading strategies for a foreign exchange currency market simulator.
Stephen Dignum, Riccardo Poli