Sciweavers

213 search results - page 11 / 43
» hybrid 2000
Sort
View
HYBRID
2000
Springer
14 years 5 days ago
Ellipsoidal Techniques for Reachability Analysis
For the reach tube of a linear time-varying system with ellipsoidal bounds on the control variable consider the following approximation problem. Find a tight ellipsoid-valued tube...
Alexander B. Kurzhanski, Pravin Varaiya
NPL
2000
138views more  NPL 2000»
13 years 8 months ago
Neural Net Based Hybrid Modeling of the Methanol Synthesis Process
A Hybrid modeling approach, combining an analytical model with a radial basis function neural network is introduced in this paper. The modeling procedure is combined with genetic a...
Primoz Potocnik, Igor Grabec, Marko Setinc, Janez ...
CP
2000
Springer
14 years 28 days ago
Linear Formulation of Constraint Programming Models and Hybrid Solvers
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
Philippe Refalo
NIPS
2000
13 years 10 months ago
Development of Hybrid Systems: Interfacing a Silicon Neuron to a Leech Heart Interneuron
We have developed a silicon neuron that is inspired by a mathematical model of the leech heartbeat (HN) interneuron. The temporal and ionic current behaviors of this silicon neuro...
Mario F. Simoni, Gennady S. Cymbalyuk, Michael E. ...
HYBRID
2000
Springer
14 years 5 days ago
Decidable Controller Synthesis for Classes of Linear Systems
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
Omid Shakernia, Shankar Sastry, George J. Pappas