Titel

Merkliste
1 Ergebnisse

Synthesis of hybrid automata with affine dynamics from time..:

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

Soto, Miriam García ; Henzinger, Thomas A. ; Schilling, Christian - p. 1-11 , 2021

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

RT 
T1 <cTitle>Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control</cTitle>: T1 <Title>Synthesis of hybrid automata with affine dynamics from time-series data</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3456704&Exemplar=1&LAN=DE
				
A1 Soto, Miriam García
A1 Henzinger, Thomas A.
A1 Schilling, Christian
PB ACM
YR 2021
K1 hybrid automaton
K1 linear dynamics
K1 membership
K1 synthesis
K1 Theory of computation
K1 Design and analysis of algorithms
K1 Online algorithms
K1 Models of computation
K1 Timed and hybrid models
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
K1 Symbolic and algebraic algorithms
K1 Linear algebra algorithms
K1 Computer systems organization
K1 Architectures
K1 Other architectures
K1 Heterogeneous (hybrid) systems
K1 Real-time systems
K1 Real-time system specification
K1 Mathematics of computing
K1 Mathematical analysis
K1 Differential equations
K1 Ordinary differential equations
SP 1
OP 11
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3447928.3456704
DO https://dl.acm.org/doi/10.1145/3447928.3456704
SF ELIB - SuUB Bremen

Export

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