Reachability analysis of dynamical systems having piecewise-constant derivatives
type: Item
instance of: scholarly article
title: Reachability analysis of dynamical systems having piecewise-constant derivatives
zbMATH Open document ID: 0884.68050
DOI: 10.1016/0304-3975(94)00228-B
author: Eugene Asarin
author: Oded Maler
author: Amir Pnueli
published in: Theoretical Computer Science
publication date: 1997-09-29T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 93B05
zbMATH DE Number: 1065130
zbMATH Keywords: PCD systems
zbMATH Keywords: dynamical systems
zbMATH Keywords: piecewise-constant derivatives
zbMATH Keywords: reachability
MaRDI profile type: Publication
cites work: Model-checking in dense real-time
cites work: A theory of timed automata
cites work: On some relations between dynamical systems and transition systems
cites work: Universal computation and other capabilities of hybrid and continuous dynamical systems
cites work: Q4733770
cites work: Q4747150
cites work: Q4281538
cites work: Symbolic model checking for real-time systems
cites work: Q5592246
cites work: Computability and complexity of ray tracing
description: scientific article; zbMATH DE number 1065130