Sciweavers

4451 search results - page 794 / 891
» Continuous model synthesis
Sort
View
LOGCOM
2007
91views more  LOGCOM 2007»
14 years 9 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
AUTOMATICA
2002
81views more  AUTOMATICA 2002»
14 years 9 months ago
The explicit linear quadratic regulator for constrained systems
For discrete-time linear time invariant systems with constraints on inputs and states, we develop an algorithm to determine explicitly, the state feedback control law which minimi...
Alberto Bemporad, Manfred Morari, Vivek Dua, Efstr...
CCE
2004
14 years 9 months ago
Thermodynamic uncertainties in batch processing and optimal control
Batch distillation is an important separation process for small-scale production especially in pharmaceutical, specialty chemical and biochemical industries. Although batch distil...
Saadet Ulas, Urmila M. Diwekar
CN
2004
146views more  CN 2004»
14 years 9 months ago
Spatio-temporal correlation: theory and applications for wireless sensor networks
Wireless Sensor Networks (WSN) are characterized by the dense deployment of sensor nodes that continuously observe physical phenomenon. Due to high density in the network topology...
Mehmet C. Vuran, Özgür B. Akan, Ian F. A...
ADAC
2008
193views more  ADAC 2008»
14 years 10 months ago
A constrained-optimization based half-quadratic algorithm for robustly fitting sets of linearly parametrized curves
We consider the problem of multiple fitting of linearly parametrized curves, that arises in many computer vision problems such as road scene analysis. Data extracted from images us...
Jean-Philippe Tarel, Sio-Song Ieng, Pierre Charbon...