Sciweavers

1495 search results - page 14 / 299
» Modeling and controllability for a class of hybrid mechanica...
Sort
View
ICALP
1997
Springer
13 years 11 months ago
Discrete-Time Control for Rectangular Hybrid Automata
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
Thomas A. Henzinger, Peter W. Kopke
HYBRID
1998
Springer
13 years 11 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
HYBRID
2010
Springer
14 years 2 months ago
Compositional analysis for linear control systems
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...
Florian Kerber, Arjan van der Schaft
HYBRID
2003
Springer
14 years 22 days ago
Hybrid Modelling and Control of Power Electronics
Switched circuits in power electronics by their nature present hybrid behavior. Such circuits can be described by a set of discrete states with associated continuous dynamics. A co...
Matthew Senesky, Gabriel Eirea, Tak-John Koo
CDC
2010
IEEE
102views Control Systems» more  CDC 2010»
13 years 2 months ago
The fundamentals of hybrid systems modelers
Albert Benveniste, Benoît Caillaud, Marc Pou...