2740 search results - page 474 / 548 » A Model-Based Approach To Requirements Analysis |
122
click to vote
IJKDB
2010
15 years 13 days ago
2010
Regulatory network analysis and other bioinformatics tasks require the ability to induce and represent arbitrary boolean expressions from data sources. We introduce a novel framew...
126
click to vote
CDC
2010
IEEE
2010
IEEE
Convergence of discrete-time approximations of constrained linear-quadratic optimal control problems
14 years 10 months ago
Abstract-- Continuous-time linear constrained optimal control problems are in practice often solved using discretization techniques, e.g. in model predictive control (MPC). This re...
130
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The distributed estimation of the number of active sensors in a network can be important for estimation and organization purposes. We propose a design methodology based on the foll...
116
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper studies stabilization of polytopic delay difference inclusions via the Razumikhin approach. An example of a linear delay difference equation that is globally exponential...
151
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Push message delivery, where a client maintains an "always-on" connection with a server in order to be notified of a (asynchronous) message arrival in real-time, is incre...