A controller synthesis framework for automated service composition

DOI10.1007/s10626-019-00282-0zbMath1441.93082OpenAlexW2966410070MaRDI QIDQ2177764

Francis Atampore, Juergen Dingel, Karen Rudie

Publication date: 6 May 2020

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-019-00282-0

zbMATH Keywords

controller synthesislabelled transition systemsdiscrete event systemssupervisory control theoryweb servicesautomatic service composition

Mathematics Subject Classification ID

Controllability (93B05) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Computational methods for problems pertaining to systems and control theory (93-08)

Related Items (2)

A controller synthesis framework for automated service composition ⋮ Modeling for supervisor synthesis -- a lock-bridge combination case study

Uses Software

• WSAT
• UMDES
• SHOP2

Cites Work

• Unnamed Item
• Unnamed Item
• Supervisory control of discrete-event systems
• A controller synthesis framework for automated service composition
• Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
• Introduction to Discrete Event Systems
• AUTOMATIC SERVICE COMPOSITION VIA SIMULATION
• Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
• On Communicating Finite-State Machines
• Supervisory Control of a Class of Discrete Event Processes
• The theory of deadlock avoidance via discrete control
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems

This page was built for publication: A controller synthesis framework for automated service composition