3458 search results - page 451 / 692 » Abstracting Control |
245
click to vote
ECCB
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
100
click to vote
ANOR
2010
15 years 4 months ago
2010
Abstract. We consider a continuous-time model for inventory management with Markov modulated non-stationary demands. We introduce active learning by assuming that the state of the ...
111
Voted
AUTOMATICA
2007
15 years 4 months ago
2007
Abstract: We investigate the parametrization issue for discrete-time stable allpass multivariable systems by means of a Schur algorithm involving a Nudelman interpolation condition...
110
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract-- The interface for the next generation of Unmanned Vehicle Systems should be an interface with multi-modal displays and input controls. Then, the role of the interface wi...
163
Voted
FAC
2008
15 years 4 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...