Supervisory control synthesis for large-scale systems with isomorphisms-Reference-Cited by-同舟云学术

Supervisory control synthesis for large-scale systems with isomorphisms

Author:

Moormann L.^ORCID,van de Mortel-Fronczak J.M.^ORCID,Fokkink W.J.^ORCID,Maessen P.,Rooda J.E.

Funder

Ministry of Infrastructure and Water Management

Rijkswaterstaat

Publisher

Elsevier BV

Subject

Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering

Reference55 articles.

2. Integration of supervisory control synthesis in model-based systems engineering;Baeten,2016

3. Comparative study of traditional requirement engineering and agile requirement engineering;Batool,2013

4. CIF 3: Model-based engineering of supervisory controllers;van Beek,2014

5. Introduction to discrete event systems;Cassandras,2009

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

3. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit;Tools and Algorithms for the Construction and Analysis of Systems;2023

4. A formal framework for distributed cyber-physical systems;Journal of Logical and Algebraic Methods in Programming;2022-08

5. A Rewriting Framework for Interacting Cyber-Physical Agents;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022