695 search results - page 55 / 139 » Control in o-minimal Hybrid Systems |
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is inv...
AUTOMATICA
2002
13 years 9 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...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
IJCAI
2007
13 years 10 months ago
2007
Electoral control refers to attempts by an election’s organizer (“the chair”) to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreak...
HYBRID
1998
Springer
14 years 1 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....