loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Jasen Markovski

Affiliation: Eindhoven University of Technology, Netherlands

Keyword(s): Supervisory Control Theory, Controllability, Finite Automata with Variables, Partial Bisimulation.

Related Ontology Subjects/Areas/Topics: Model Composition ; Model Transformation ; Modeling Languages ; Models ; Paradigm Trends ; Software Engineering

Abstract: Supervisory control theory deals with automated synthesis of models of supervisory controllers that ensure safe coordinated discrete-event behavior of a given system. To increase the expressivity of the framework and provide for a greater modeling convenience, several extensions with variables have been proposed. One of the most prominent such extensions is implemented by means of extended finite automata with variables. We revisit the notion of controllability for nondeterministic finite automata with variables, which defines conditions under which a model of a supervisory controller can be synthesized. We will show that the existing notion of controllability for extended finite automata does not have desirable algebraic properties, i.e., it is not a preorder. We propose to employ an extension of controllability for nondeterministic discrete-event system based on a behavioral relation termed partial bisimulation, which we show that subsumes the existing notion of controllability for extended finite automata. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.144.189.177

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Markovski, J. (2013). Controllability for Nondeterministic Finite Automata with Variables. In Proceedings of the 8th International Joint Conference on Software Technologies (ICSOFT 2013) - ICSOFT-PT; ISBN 978-989-8565-68-6; ISSN 2184-2833, SciTePress, pages 438-446. DOI: 10.5220/0004430604380446

@conference{icsoft-pt13,
author={Jasen Markovski.},
title={Controllability for Nondeterministic Finite Automata with Variables},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies (ICSOFT 2013) - ICSOFT-PT},
year={2013},
pages={438-446},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004430604380446},
isbn={978-989-8565-68-6},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 8th International Joint Conference on Software Technologies (ICSOFT 2013) - ICSOFT-PT
TI - Controllability for Nondeterministic Finite Automata with Variables
SN - 978-989-8565-68-6
IS - 2184-2833
AU - Markovski, J.
PY - 2013
SP - 438
EP - 446
DO - 10.5220/0004430604380446
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic