Sciweavers

20126 search results - page 2 / 4026
» Timed Transition Systems
Sort
View
CDC
2010
IEEE
166views Control Systems» more  CDC 2010»
13 years 1 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...
WSC
1997
13 years 11 months ago
Requirements for Transitioning Business Process Simulation Models to Real-Time Operational Systems
The value of modeling and simulating business processes has recently received increased attention with the interest in business process re-engineering (BPR). Many re-engineering p...
Peter Floss
REX
1991
14 years 1 months ago
Timed Transition Systems
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
EPEW
2010
Springer
13 years 11 months ago
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking
Lasse Jacobsen, Morten Jacobsen, Mikael H. M&oslas...
WSC
2008
14 years 3 days ago
An object-oriented programming approach for a GIS data-driven simulation model of traffic on an inland waterway
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...
Daniel Sasso, William E. Biles