4693 search results - page 392 / 939 » Verifying Hybrid Systems |
174
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
222
click to vote
TWC
2008
15 years 5 months ago
2008
In this letter, we propose a generalized version of the window-based pseudonoise (PN) acquisition scheme verifying one or more best hypotheses rather than the best one per search w...
182
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
A neural network controller for improved fuel efficiency of the Toyota Prius hybrid electric vehicle is proposed. A new method to detect and mitigate a battery fault is also pres...
195
click to vote
Publication
The power of Matlab can now be used from within Labview. A labview application can now use a Matlab script directly in the Labview code and exchange data between Labview and matlab...
159
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
The subject of this paper is hybrid control of nonlinear systems with large-scale uncertainty. We describe a high-level controller, called a "supervisor", which orchestr...