Parametric and Quantitative Extensions of Modal Transition Systems

Fahrenberg, Uli; Larsen, Kim Guldstrand; Legay, Axel; Traonouez, Louis-Marie

doi:10.1007/978-3-642-54848-2_6

Cited by 2 publications

(3 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Software and hardware interrupts, and emergency preemptions in embedded systems are examples of the uncertainty. A specification for such an uncertain system is formally described by a modal transition system, where transitions are partitioned into two types: may and must transitions [13], [14]. A must transition must be allowed by the system while a may transition may or may not be.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances

Pruekprasert

Ushio

2016

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

Sasinee PRUEKPRASERT†a) , Nonmember and Toshimitsu USHIO †b) , Fellow SUMMARY This paper considers an optimal stabilization problem of quantitative discrete event systems (DESs) under the influence of disturbances. We model a DES by a deterministic weighted automaton. The control cost is concerned with the sum of the weights along the generated trajectories reaching the target state. The region of weak attraction is the set of states of the system such that all trajectories starting from them can be controlled to reach a specified set of target states and stay there indefinitely. An optimal stabilizing controller is a controller that drives the states in this region to the set of target states with minimum control cost and keeps them there. We consider two control objectives: to minimize the worst-case control cost (1) subject to all enabled trajectories and (2) subject to the enabled trajectories starting by controllable events. Moreover, we consider the disturbances which are uncontrollable events that rarely occur in the real system but may degrade the control performance when they occur. We propose a linearithmic time algorithm for the synthesis of an optimal stabilizing controller which is robust to disturbances.

show abstract

Section: Introductionmentioning

confidence: 99%

“…As a motivational example of the modal transition system, an e-mail system shown in Fig. 1 is considered in [14], where check is a may transition and the others are must transitions. Namely, after the email is received, the system may or may not check the email (e.g., for virus) before delivering it to the receiver.…”

Section: Introductionmentioning

confidence: 99%