Hybrid modelling and control of power electronics

Authors:
Matthew Senesky;Gabriel Eirea;T. John Koo
Affiliations:
EECS Department, University of California, Berkeley;EECS Department, University of California, Berkeley;EECS Department, University of California, Berkeley
Venue:
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Year:
2003

Citing 7
Cited 4

Partial Cylindrical Algebraic Decomposition for quantifier elimination

Journal of Symbolic Computation
A theory of timed automata

Theoretical Computer Science
A game-theoretic approach to hybrid system design

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
REDLOG: computer algebra meets computer logic

ACM SIGSAM Bulletin
Modularity for Timed and Hybrid Systems

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Hybrid Control of a Truck and Trailer Vehicle

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Controllers for reachability specifications for hybrid systems

Automatica (Journal of IFAC)

Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
On the stabilisation of switching electrical power converters

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Model-based tool-chain infrastructure for automated analysis of embedded systems

ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
MARTHA: architecture for control and emulation of power electronics and smart grid systems

Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 control objective, usually regulation of the output in the face of disturbances in the continuous system, is accomplished by choosing among discrete states. We describe a hybrid systems perspective of several common tasks in the design and analysis of power electronics. A DC-DC boost converter circuit is presented as an illustrative example, and the extension of this circuit to a multiple output configuration is provided to show the favorable scaling properties and broad utility of the hybrid approach.