loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Author: Jasen Markovski

Affiliation: Eindhoven University of Technology, Netherlands

ISBN: 978-989-8565-68-6

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)

PDF ImageFull Text

Download
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 52.87.176.39

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 - Volume 1: ICSOFT-PT, (ICSOFT 2013) ISBN 978-989-8565-68-6, 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 - Volume 1: ICSOFT-PT, (ICSOFT 2013)},
year={2013},
pages={438-446},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004430604380446},
isbn={978-989-8565-68-6},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.