Time-triggered conversion of guards for reachability analysis of hybrid automata
type: Item
instance of: scholarly article
title: Time-triggered conversion of guards for reachability analysis of hybrid automata
zbMATH Open document ID: 1497.93107
DOI: 10.1007/978-3-319-65765-3_8
author: Stanley Bak
author: Sergiy Bogomolov
author: Matthias Althoff
publication date: 2017-12-01T00:00:00Z
full work available at URL: document.pdf
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 93B03
zbMATH DE Number: 6814294
describes a project that uses: HySAT
describes a project that uses: BACH
describes a project that uses: Flow*
describes a project that uses: dReach
describes a project that uses: SpaceEx
describes a project that uses: HyLAA
describes a project that uses: PHAVer
describes a project that uses: HyTech
describes a project that uses: HYST
describes a project that uses: CORA
MaRDI profile type: Publication
OpenAlex ID: W2739746066
description: scientific article; zbMATH DE number 6814294