The Experts below are selected from a list of 116523 Experts worldwide ranked by ideXlab platform

Jan H. Van Schuppen - One of the best experts on this subject based on the ideXlab platform.

  • A Relaxed Framework for Coordination Control of Discrete-Event Systems
    arXiv: Optimization and Control, 2015
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    In this paper, we simplify the Coordination Control approach by removing the supervisor for the coordinator from the closed-loop system and relax the restrictions placed on a coordinator. This relaxation results in the simplification of the whole Coordination Control framework, including the notions of conditional Controllability, conditional observability, and conditional normality. Compared to our previous work, the role of the supervisor on a coordinator alphabet is postponed until the final stage of the Coordination Control synthesis. This completes and clarifies our previous results, while all the fundamental theorems remain valid in the relaxed framework. Unlike previous approaches we can always compute a conditionally Controllable sublanguage without any restricting conditions we have used before.

  • CASE - Relative observability in Coordination Control
    2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    Relative observability was introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability and weaker than normality. Unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of Coordination Control. We prove that conditional normality is stronger than conditional relative observability, hence it can be used in Coordination Control instead of conditional normality. We present a distributive procedure to compute a conditionally Controllable and conditionally observable sublanguage of the specification that contains the supremal conditionally relative observable sublanguage.

  • A Note on Relative Observability in Coordination Control
    arXiv: Optimization and Control, 2014
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    Van Schuppen Control Research, Gouden Leeuw 143, 1103 KB, Amsterdam, The NetherlandsAbstractRelative observability has been introduced and studied in the framework of partially observed discrete-event systemsas a condition strongerthan observability, but weaker than normality. However, unlike observability, relative observability is closed under language unions, whichmakes it interesting for practical applications. In this paper, we investigate this notion in the framework of Coordination Control. Weprove that conditional normality is a stronger condition than conditional (strong) relative observability, hence conditional strong relativeobservability can be used in Coordination Control instead of conditional normality, and present a distributive procedure for the computationof a conditionally Controllable and conditionally observable sublanguage of the specification that contains the supre mal conditionallystrong relative observable sublanguage.Key words: Discrete-event systems; Coordination Control; Relative Observability.

  • CDC - Multilevel Coordination Control of modular DES
    52nd IEEE Conference on Decision and Control, 2013
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    A top-down approach to multilevel Coordination Control is presented along with the corresponding notions of conditional decomposability and conditional Controllability. The multilevel structure makes the approach computationally more efficient in comparison with the approach of one central coordinator since fewer events need to be communicated among subsystems. Necessary and sufficient conditions are stated for a specification to be achieved by the proposed top-down approach.

Jan Komenda - One of the best experts on this subject based on the ideXlab platform.

  • Coordination Control of discrete-event systems revisited
    Discrete Event Dynamic Systems, 2015
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Schuppen
    Abstract:

    In this paper, we revise and further investigate the Coordination Control approach proposed for supervisory Control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham automata framework. The notions of conditional decomposability, conditional Controllability, and conditional closedness ensuring the existence of a solution are carefully revised and simplified. The approach is generalized to non-prefix-closed languages, that is, supremal conditionally Controllable sublanguages of not necessary prefix-closed languages are discussed. Non-prefix-closed languages introduce the blocking issue into Coordination Control, hence a procedure to compute a coordinator for nonblockingness is included. The optimization problem concerning the size of a coordinator is under investigation. We prove that to find the minimal extension of the coordinator event set for which a given specification language is conditionally decomposable is NP-hard. In other words, unless P=NP, it is not possible to find a polynomial algorithm to compute the minimal coordinator with respect to the number of events.

  • A Relaxed Framework for Coordination Control of Discrete-Event Systems
    arXiv: Optimization and Control, 2015
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    In this paper, we simplify the Coordination Control approach by removing the supervisor for the coordinator from the closed-loop system and relax the restrictions placed on a coordinator. This relaxation results in the simplification of the whole Coordination Control framework, including the notions of conditional Controllability, conditional observability, and conditional normality. Compared to our previous work, the role of the supervisor on a coordinator alphabet is postponed until the final stage of the Coordination Control synthesis. This completes and clarifies our previous results, while all the fundamental theorems remain valid in the relaxed framework. Unlike previous approaches we can always compute a conditionally Controllable sublanguage without any restricting conditions we have used before.

  • CASE - Relative observability in Coordination Control
    2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    Relative observability was introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability and weaker than normality. Unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of Coordination Control. We prove that conditional normality is stronger than conditional relative observability, hence it can be used in Coordination Control instead of conditional normality. We present a distributive procedure to compute a conditionally Controllable and conditionally observable sublanguage of the specification that contains the supremal conditionally relative observable sublanguage.

  • A Note on Relative Observability in Coordination Control
    arXiv: Optimization and Control, 2014
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    Van Schuppen Control Research, Gouden Leeuw 143, 1103 KB, Amsterdam, The NetherlandsAbstractRelative observability has been introduced and studied in the framework of partially observed discrete-event systemsas a condition strongerthan observability, but weaker than normality. However, unlike observability, relative observability is closed under language unions, whichmakes it interesting for practical applications. In this paper, we investigate this notion in the framework of Coordination Control. Weprove that conditional normality is a stronger condition than conditional (strong) relative observability, hence conditional strong relativeobservability can be used in Coordination Control instead of conditional normality, and present a distributive procedure for the computationof a conditionally Controllable and conditionally observable sublanguage of the specification that contains the supre mal conditionallystrong relative observable sublanguage.Key words: Discrete-event systems; Coordination Control; Relative Observability.

  • Allerton - A bridge between decentralized and Coordination Control
    2013 51st Annual Allerton Conference on Communication Control and Computing (Allerton), 2013
    Co-Authors: Jan Komenda, Tomáš Masopust
    Abstract:

    In decentralized supervisory Control, several local Control agents (supervisors) cooperate to achieve a common goal, expressed by a safety specification and/or by nonblockingness. It is well-known that coobservability is the key condition to achieve the specification as the resulting language of the Controlled system. One of the most important problems is to compute a coobservable sublanguage of the specification. This paper shows how recent results in Coordination Control of modular discrete-event systems help to construct a coobservable sublanguage in a computationally cheap way. The impact of Coordination Control on decentralized Control is discussed in detail.

Li Yun-chi - One of the best experts on this subject based on the ideXlab platform.

  • Traffic Signal Coordination Control for Two Adjacent Intersections Based on NashCC-Q Learning
    Computer Simulation, 2008
    Co-Authors: Li Yun-chi
    Abstract:

    The NashCC-Q learning algorithm was proposed to resolve traffic signal Coordination Control for two adjacent intersections. The problem of Coordination Control for two adjacent intersections is the type of two-player general sum cooperative game in Game theory. Therefore,according to the Nash-Q learning algorithm,the update of the Q-Value function was based on Nash bargaining solution,furthermore,Coordination Control for two adjacent intersections was realized. The validity of this method was proved by Paramics simulation software.

Tomáš Masopust - One of the best experts on this subject based on the ideXlab platform.

  • Coordination Control of discrete-event systems revisited
    Discrete Event Dynamic Systems, 2015
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Schuppen
    Abstract:

    In this paper, we revise and further investigate the Coordination Control approach proposed for supervisory Control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham automata framework. The notions of conditional decomposability, conditional Controllability, and conditional closedness ensuring the existence of a solution are carefully revised and simplified. The approach is generalized to non-prefix-closed languages, that is, supremal conditionally Controllable sublanguages of not necessary prefix-closed languages are discussed. Non-prefix-closed languages introduce the blocking issue into Coordination Control, hence a procedure to compute a coordinator for nonblockingness is included. The optimization problem concerning the size of a coordinator is under investigation. We prove that to find the minimal extension of the coordinator event set for which a given specification language is conditionally decomposable is NP-hard. In other words, unless P=NP, it is not possible to find a polynomial algorithm to compute the minimal coordinator with respect to the number of events.

  • A Relaxed Framework for Coordination Control of Discrete-Event Systems
    arXiv: Optimization and Control, 2015
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    In this paper, we simplify the Coordination Control approach by removing the supervisor for the coordinator from the closed-loop system and relax the restrictions placed on a coordinator. This relaxation results in the simplification of the whole Coordination Control framework, including the notions of conditional Controllability, conditional observability, and conditional normality. Compared to our previous work, the role of the supervisor on a coordinator alphabet is postponed until the final stage of the Coordination Control synthesis. This completes and clarifies our previous results, while all the fundamental theorems remain valid in the relaxed framework. Unlike previous approaches we can always compute a conditionally Controllable sublanguage without any restricting conditions we have used before.

  • CASE - Relative observability in Coordination Control
    2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    Relative observability was introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability and weaker than normality. Unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of Coordination Control. We prove that conditional normality is stronger than conditional relative observability, hence it can be used in Coordination Control instead of conditional normality. We present a distributive procedure to compute a conditionally Controllable and conditionally observable sublanguage of the specification that contains the supremal conditionally relative observable sublanguage.

  • A Note on Relative Observability in Coordination Control
    arXiv: Optimization and Control, 2014
    Co-Authors: Jan Komenda, Tomáš Masopust, Jan H. Van Schuppen
    Abstract:

    Van Schuppen Control Research, Gouden Leeuw 143, 1103 KB, Amsterdam, The NetherlandsAbstractRelative observability has been introduced and studied in the framework of partially observed discrete-event systemsas a condition strongerthan observability, but weaker than normality. However, unlike observability, relative observability is closed under language unions, whichmakes it interesting for practical applications. In this paper, we investigate this notion in the framework of Coordination Control. Weprove that conditional normality is a stronger condition than conditional (strong) relative observability, hence conditional strong relativeobservability can be used in Coordination Control instead of conditional normality, and present a distributive procedure for the computationof a conditionally Controllable and conditionally observable sublanguage of the specification that contains the supre mal conditionallystrong relative observable sublanguage.Key words: Discrete-event systems; Coordination Control; Relative Observability.

  • Allerton - A bridge between decentralized and Coordination Control
    2013 51st Annual Allerton Conference on Communication Control and Computing (Allerton), 2013
    Co-Authors: Jan Komenda, Tomáš Masopust
    Abstract:

    In decentralized supervisory Control, several local Control agents (supervisors) cooperate to achieve a common goal, expressed by a safety specification and/or by nonblockingness. It is well-known that coobservability is the key condition to achieve the specification as the resulting language of the Controlled system. One of the most important problems is to compute a coobservable sublanguage of the specification. This paper shows how recent results in Coordination Control of modular discrete-event systems help to construct a coobservable sublanguage in a computationally cheap way. The impact of Coordination Control on decentralized Control is discussed in detail.

Chen Hongzhi - One of the best experts on this subject based on the ideXlab platform.

  • Coordination Control of Generator Excitation With HVDC Power Transmission
    Power system technology, 2011
    Co-Authors: Chen Hongzhi
    Abstract:

    The mathematical model of a power system,in which a generator with excitation system is connected to a single-machine infinite bus AC system via high voltage direct current(HVDC) power transmission,is built,and for this power system a Controller coordinating the generator excitation with the HVDC power transmission is designed.Using nonlinear Control theory,the presented system is accurately linearized and based on optimal Coordination Control theory the Coordination Control law for this power system is obtained and is verified by the simulation based on EMTDC.Simulation results show that the proposed Controller can improve the stability of the whole system effectively.