Q4780233
type: Item
instance of: scholarly article
zbMATH Open document ID: 1104.93010
author: Helmut Melcher
publication date: 2002-11-03T00:00:00Z
full work available at URL: http://www.shaker.de/de/content/catalogue/index.asp
Mathematics Subject Classification ID: 93-02
zbMATH DE Number: 1822285
MaRDI profile type: Publication
Recommended article: Dynamic hierarchical reactive controller synthesis
Recommended article: Compositional Synthesis of Reactive Controllers for Multi-agent Systems
Recommended article: Compositional Synthesis with Parametric Reactive Controllers
Recommended article: A Compositional Framework for Controller Synthesis
Recommended article: Compositional Control Synthesis for Partially Observable Systems
Recommended article: Compositional and symbolic synthesis of reactive controllers for multi-agent systems
Recommended article: Compositional abstractions of hybrid control systems
Recommended article: Compositional Supervisory Control via Reactive Synthesis and Automated Planning
Recommended article: Hierarchically consistent control systems
Recommended article: Compositional abstraction refinement for control synthesis
description: scientific article; zbMATH DE number 1822285