Proving properties of continuous systems: Qualitative simulation and temporal logic
type: Item
instance of: scholarly article
title: Proving properties of continuous systems: Qualitative simulation and temporal logic
zbMATH Open document ID: 1017.68514
DOI: 10.1016/S0004-3702(96)00050-1
author: Benjamin Shults
author: Benjamin J. Kuipers
published in: Artificial Intelligence
publication date: 2003-08-28T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 65L70
zbMATH DE Number: 1972321
zbMATH Keywords: Temporal logic
zbMATH Keywords: Qualitative simulation
zbMATH Keywords: Model checking
zbMATH Keywords: Differential equations
MaRDI profile type: Publication
cites work: Real-time logics: Complexity and expressiveness
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q4385542
cites work: Qualitative simulation
cites work: The composition and validation of heterogeneous control laws
full work available at URL: s0004-3702(96)00050-1
OpenAlex ID: W2038366595
Recommended article: Focusing qualitative simulation using temporal logic: Theoretical foundations
Recommended article: Q4536598
Recommended article: A Proof-Based Method for Modelling Timed Systems
Recommended article: Temporal proof methodologies for timed transition systems
Recommended article: Q3972532
Recommended article: The intuitionistic temporal logic of dynamical systems
Recommended article: On the decidability of continuous time specification formalisms
Recommended article: Verification of continuous dynamical systems by timed automata
Recommended article: Q2723336
Recommended article: Deductive verification of continuous dynamical systems
description: scientific article; zbMATH DE number 1972321