Timed-automata abstraction of switched dynamical systems using control invariants
type: Item
instance of: scholarly article
title: Timed-automata abstraction of switched dynamical systems using control invariants
zbMATH Open document ID: 1425.68181
author: Patricia Bouyer
author: Nicolas Markey
author: Nicolas Perrin
author: Philipp Schlehuber-Caissier
published in: Real-Time Systems
publication date: 2018-02-19T00:00:00Z
full work available at URL: Bouyer 2017 Timed-automata.pdf
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 93C30
zbMATH DE Number: 6840355
zbMATH Keywords: switched dynamical systems
zbMATH Keywords: timed automata
zbMATH Keywords: cyber-physical systems
describes a project that uses: UPPAAL TIGA
MaRDI profile type: Publication
OpenAlex ID: W2570955003
cites work: A theory of timed automata
cites work: Reachability analysis of dynamical systems having piecewise-constant derivatives
cites work: Q3977326
cites work: Updatable timed automata
cites work: Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels
cites work: Trajectory Based Verification Using Local Finite-Time Invariance
cites work: Computability with low-dimensional dynamical systems
cites work: Approximating Continuous Systems by Timed Automata
cites work: Complete abstractions of dynamical systems by timed automata
cites work: Q4400449
DOI: 10.1007/S11241-016-9262-3
description: scientific article; zbMATH DE number 6840355