2377 search results - page 254 / 476 » Hybrid Systems in TLA |
174
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...
163
click to vote
DT
2000
15 years 6 months ago
2000
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...
150
click to vote
ISSAC
2005
Springer
16 years 1 days ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
160
click to vote
COCOS
2003
Springer
15 years 11 months ago
2003
Springer
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...
163
click to vote
SCL
2008
15 years 6 months ago
2008
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 ...