Yajuan Sun - Academia.edu (original) (raw)
Uploads
Papers by Yajuan Sun
International Journal of Control, 2012
This article presents an input-output simulation approach to controlling multi-affine systems for... more This article presents an input-output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. First, the state space is partitioned into rectangles, each of which satisfies atomic LTL propositions. Then, we study the control of multi-affine systems on rectangles, including the control based on the exit sub-region to drive all trajectories starting from a rectangle to exit through a facet and the control to stabilise the multi-affine system towards a desired point. With the proposed controllers, a finitely abstracted transition system is constructed which is shown to be input-output simulated by the rectangular transition system of the multi-affine system. Since the input-output simulation preserves LTL properties, the controller synthesis of the multi-affine system for LTL specifications is achieved by designing a nonblocking supervisor for the abstracted transition system and by implementing the resulting supervisor to the original multi-affine system.
Automatica, 2014
This paper investigates the supervisory control of nondeterministic discrete event systems to enf... more This paper investigates the supervisory control of nondeterministic discrete event systems to enforce bisimilarity with respect to deterministic specifications. A notion of synchronous simulation-based controllability is introduced as a necessary and sufficient condition for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a supervisor achieving bisimulation equivalence is constructed. Furthermore, when the existence condition does not hold, two different methods are provided for synthesizing maximal permissive sub-specifications.
Acta Automatica Sinica, 2014
Decentralized supervisory control of discrete-event systems (DES) is developed, by use of State T... more Decentralized supervisory control of discrete-event systems (DES) is developed, by use of State Tree Structures (STS) to manage state explosion. Assuming the specification of the controlled system can be decomposed into several subspecifications, we design a separate optimal (maximally permissive) supervisor for each. If the decentralized supervisory controlled system is blocking, an additional coordinator is adjoined. The result guarantees that the controlled behavior of the decentralized supervisory controlled system is both nonblocking and optimal.
International Journal of Control, 2012
This article presents an input-output simulation approach to controlling multi-affine systems for... more This article presents an input-output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. First, the state space is partitioned into rectangles, each of which satisfies atomic LTL propositions. Then, we study the control of multi-affine systems on rectangles, including the control based on the exit sub-region to drive all trajectories starting from a rectangle to exit through a facet and the control to stabilise the multi-affine system towards a desired point. With the proposed controllers, a finitely abstracted transition system is constructed which is shown to be input-output simulated by the rectangular transition system of the multi-affine system. Since the input-output simulation preserves LTL properties, the controller synthesis of the multi-affine system for LTL specifications is achieved by designing a nonblocking supervisor for the abstracted transition system and by implementing the resulting supervisor to the original multi-affine system.
Automatica, 2014
This paper investigates the supervisory control of nondeterministic discrete event systems to enf... more This paper investigates the supervisory control of nondeterministic discrete event systems to enforce bisimilarity with respect to deterministic specifications. A notion of synchronous simulation-based controllability is introduced as a necessary and sufficient condition for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a supervisor achieving bisimulation equivalence is constructed. Furthermore, when the existence condition does not hold, two different methods are provided for synthesizing maximal permissive sub-specifications.
Acta Automatica Sinica, 2014
Decentralized supervisory control of discrete-event systems (DES) is developed, by use of State T... more Decentralized supervisory control of discrete-event systems (DES) is developed, by use of State Tree Structures (STS) to manage state explosion. Assuming the specification of the controlled system can be decomposed into several subspecifications, we design a separate optimal (maximally permissive) supervisor for each. If the decentralized supervisory controlled system is blocking, an additional coordinator is adjoined. The result guarantees that the controlled behavior of the decentralized supervisory controlled system is both nonblocking and optimal.