Constraint nets: a semantic model for hybrid dynamic systems
type: Item
instance of: scholarly article
title: Constraint nets: a semantic model for hybrid dynamic systems
zbMATH Open document ID: 0874.68205
DOI: 10.1016/0304-3975(94)00149-D
author: Ying Zhang
author: Alan K. Mackworth
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 985814
zbMATH Keywords: hybrid dynamic systems
zbMATH Keywords: robotic system
describes a project that uses: LUSTRE
describes a project that uses: Lucid
MaRDI profile type: Publication
cites work: Current trends in concurrency. Overviews and tutorials
cites work: Hybrid dynamical systems theory and the Signal language
cites work: A denotational theory of synchronous reactive systems
cites work: Q3997501
cites work: General systems theory: mathematical foundations
cites work: Q5533191
cites work: Q3911403
cites work: Mathematical Theory of the Differential Analyzer
cites work: Q3994458
cites work: Q3678639
cites work: Q5667133
Recommended article: Q4735925
Recommended article: Constraint-Based Approach for Analysis of Hybrid Systems
Recommended article: Modeling, analyzing and controlling hybrid systems by guarded flexible nets
Recommended article: Q5691937
Recommended article: Hybrid constraints in automated model synthesis and model processing
Recommended article: Constrained properties, semilinear systems, and Petri nets
Recommended article: On-line symbolic constraint embedding for simulation of hybrid dynamical systems
Recommended article: Q2968415
Recommended article: Q2754097
Recommended article: Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
description: scientific article; zbMATH DE number 985814