From simulation models to hybrid automata using urgency and relaxation
type: Item
instance of: scholarly article
title: From Simulation Models to Hybrid Automata Using Urgency and Relaxation
zbMATH Open document ID: 1366.68148
DOI: 10.1145/2883817.2883825
author: Stefano Minopoli
author: Goran Frehse
published in: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
publication date: 2017-05-19T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68U20
Mathematics Subject Classification ID: 93A30
zbMATH DE Number: 6721678
zbMATH Keywords: hybrid automata
zbMATH Keywords: hybrid systems
zbMATH Keywords: numerical analysis
zbMATH Keywords: reachability analysis
zbMATH Keywords: urgency
describes a project that uses: Matlab
describes a project that uses: Ptolemy
describes a project that uses: Modelica
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1145/2883817.2883825
OpenAlex ID: W2336971804
Recommended article: Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
Recommended article: From hybrid data-flow languages to hybrid automata: a complete translation
Recommended article: Relating syntactic and semantic perturbations of hybrid automata
Recommended article: Non-convex invariants and urgency conditions on linear hybrid automata
Recommended article: HYST: a source transformation and translation tool for hybrid automaton models
description: scientific article; zbMATH DE number 6721678