Titel

Merkliste
1 Ergebnisse

Structural Analysis of Multi-Mode DAE Systems:

, In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control,

Benveniste, Albert ; Caillaud, Benoit ; Elmqvist, Hilding... - p. 253-263 , 2017

Link: https://dl.acm.org/doi/10.1145/3049797.3049806

RT 
T1 <cTitle>Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control</cTitle>: T1 <Title>Structural Analysis of Multi-Mode DAE Systems</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3049806&Exemplar=1&LAN=DE
				
A1 Benveniste, Albert
A1 Caillaud, Benoit
A1 Elmqvist, Hilding
A1 Ghorbal, Khalil
A1 Otter, Martin
A1 Pouzet, Marc
PB ACM
YR 2017
K1 DAE
K1 differential algebraic equations
K1 differential index
K1 multi-mode systems
K1 nonstandard analysis
K1 operational semantics
K1 structural analysis
K1 Mathematics of computing
K1 Mathematical analysis
K1 Differential equations
K1 Differential algebraic equations
K1 Theory of computation
K1 Semantics and reasoning
K1 Program semantics
K1 Operational semantics
K1 Computing methodologies
K1 Modeling and simulation
K1 Simulation types and techniques
K1 Discrete-event simulation
K1 Software and its engineering
K1 Software notations and tools
K1 Formal language definitions
K1 Semantics
K1 Symbolic and algebraic manipulation
K1 Symbolic and algebraic algorithms
K1 Hybrid symbolic-numeric methods
K1 Continuous simulation
K1 Models of computation
K1 Timed and hybrid models
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Denotational semantics
SP 253
OP 263
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3049797.3049806
DO https://dl.acm.org/doi/10.1145/3049797.3049806
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)