4693 search results - page 249 / 939 » Verifying Hybrid Systems |
146
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Output-based feedback control of discrete-time hybrid systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. ...
185
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
114
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a hybrid CNT/CMOS chemical sensor system that comprises of a carbon nanotube sensor array and a CMOS interface chip. The full system, including the sensor, con...
183
click to vote
HOLOMAS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper introduces a framework based on multi-agent system for solving problems of combinatorial optimization. The framework allows running various metaheuristic algor...
174
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...