Sciweavers

288 search results - page 17 / 58
» Evolved finite state controller for hybrid system
Sort
View
IROS
2008
IEEE
94views Robotics» more  IROS 2008»
14 years 3 months ago
Reactive robot control with hybrid operational models in a seaport container terminal considering system reliability
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
Satoshi Hoshino, Jun Ota
HYBRID
2004
Springer
14 years 2 months ago
Full Paper Sheet Control Using Hybrid Automata
Some high speed color printers require that the sheets be accurately controlled in order to achieve a precise alignment of colors. To accomplish this goal a steerable nips mechanis...
Rene Sanchez, Roberto Horowitz, Masayoshi Tomizuka...
CONCUR
2007
Springer
14 years 17 days ago
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
Rohit Chadha, Mahesh Viswanathan
CADE
2005
Springer
14 years 9 months ago
Temporal Logics over Transitive States
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
Boris Konev, Frank Wolter, Michael Zakharyaschev
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
13 years 8 months ago
Invertibility of switched linear systems
Abstract-- We address a new problem--the invertibility problem for continuous-time switched linear systems, which is the problem of recovering the switching signal and the input un...
Linh Vu, Daniel Liberzon