From Electrical Switched Networks to Hybrid Automata
| Autor: | Alessandro Cimatti, Mirko Sessa, Sergio Mover |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
0209 industrial biotechnology
Computer science Topology (electrical circuits) 02 engineering and technology Network topology Topology Automaton law.invention Set (abstract data type) 020901 industrial engineering & automation law Component (UML) Electrical network ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Hybrid automaton |
| Zdroj: | FM 2016: Formal Methods ISBN: 9783319489889 FM |
| DOI: | 10.1007/978-3-319-48989-6_11 |
| Popis: | In this paper, we propose a novel symbolic approach to automatically synthesize a Hybrid Automaton (HA) from a switched electrical network. The input network consists of a set of physical components interconnected according to some reconfigurable network topology. The underlying model defines a local dynamics for each component in terms of a Differential-Algebraic Equation (DAE), and a set of network topologies by means of discrete switches. Each switch configuration induces a different topology, where the behavior of the system is a Hybrid Differential-Algebraic Equations. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|