Sciweavers

2624 search results - page 8 / 525
» The 2LIP model and its implementations
Sort
View
WSC
2007
13 years 10 months ago
A simulation model with a low level of detail for container terminals and its applications
As trade among countries grows, the performance of container terminals is becoming more important than ever. In this paper, we present a 3D real-time-visualization containertermin...
Byung-Hyun Ha, Eun-Jung Park, Chan-Hee Lee
IJAIT
2006
136views more  IJAIT 2006»
13 years 7 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
AUTOMATICA
2005
103views more  AUTOMATICA 2005»
13 years 7 months ago
Incorporating state estimation into model predictive control and its application to network traffic control
Model predictive control (MPC) is of interest because it is one of the few control design methods which preserves standard design variables and yet handles constraints. MPC is nor...
Jun Yan, Robert R. Bitmead
MSWIM
2006
ACM
14 years 1 months ago
Ticket-based mobile commerce system and its implementation
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
Hua Wang, Xiaodi Huang, Goutham Reddy Dodda
CDC
2010
IEEE
113views Control Systems» more  CDC 2010»
13 years 2 months ago
Second-order odd-harmonic repetitive control and its application to active filter control
High order repetitive control has been introduced to overcome performance decay of repetitive control systems under varying frequency of the signals to be tracked/rejected or impro...
Ramon Costa-Castelló, German A. Ramos, Jose...