Sciweavers

2366 search results - page 252 / 474
» Pfaffian Hybrid Systems
Sort
View
DT
2000
101views more  DT 2000»
15 years 6 months ago
Conflicting Criteria in Embedded System Design
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
Michael Eisenring, Lothar Thiele, Eckart Zitzler
151
Voted
ISSAC
2005
Springer
63views Mathematics» more  ISSAC 2005»
16 years 3 days ago
Symbolic-numeric completion of differential systems by homotopy continuation
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
Greg Reid, Jan Verschelde, Allan D. Wittkopf, Weny...
COCOS
2003
Springer
117views Optimization» more  COCOS 2003»
15 years 12 months ago
A Method for Global Optimization of Large Systems of Quadratic Constraints
In previous work, we have presented a novel global feasibility solver for the large system of quadratic constraints that arise as subproblems in the solving of hard hybrid problems...
Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S...
SCL
2008
89views more  SCL 2008»
15 years 6 months ago
Cascade estimators for systems on a partial order
In this work, the problem of estimating the state in systems with continuous and discrete variables is considered. A cascade state estimator on a partial order is constructed and ...
Domitilla Del Vecchio
FLAIRS
2006
15 years 8 months ago
An Artificial Neural Network for a Tank Targeting System
In this paper, we apply artificial neural networks to control the targeting system of a robotic tank in a tank-combat computer game (RoboCode). We suggest an algorithm that not on...
Hans W. Guesgen, Xiao Dong Shi