423 search results - page 15 / 85 » Bounded Finite State Controllers |
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
This paper is concerned with the problem of receding horizon control of discrete-time systems subject to possibly unbounded random noise inputs, while satisfying hard bounds on the...
WSC
1997
13 years 9 months ago
1997
Optimistic parallel discrete event simulation (PDES) uses a state history trail to support rollback. State saving strategies range from making a complete copy of a model’s state...
INFOCOM
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper considers network control for wireless networks with finite buffers. We investigate the performance of joint flow control, routing, and scheduling algorithms which achie...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
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...
ARCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...