446 search results - page 59 / 90 » Modal Logics for Timed Control |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
TASE
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
HIS
2007
13 years 10 months ago
2007
This paper proposes a new approach for multicriteria optimization which aggregates the objective functions and uses a line search method in order to locate an approximate efficien...
EUROGP
2009
Springer
14 years 1 months ago
2009
Springer
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—Recent years have witnessed mass proliferation of mobile devices with rich wireless communication capabilities as well as emerging mobile device based information dissemination ...