On Supervisor Synthesis Theorem and its Application to Embedded Systems

被引：0

作者：

Yamaguchi, Shingo ^{[1
]}

机构：

[1] Yamaguchi Univ, Grad Sch Sci & Technol Innovat, 2-16-1 Tokiwadai, Ube, Yamaguchi 7558611, Japan

来源：

2017 IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS (ISCE) | 2017年

关键词：

PETRI NETS;

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Embedded systems must he improved to survive in the rapid-changing business environment. Supervisory control is a promising approach for such improvement. This paper presented the introduction of supervisory control theory to embedded systems. The major results are (i) a theorem for supervisory control and (ii) its property which enables us to apply model checking technique to the analysis of the model given by the theorem. They were illustrated with an example of car controller.

引用

页码：28 / 31

页数：4

共 50 条

[31] A theorem on parastatistics and its application
V. P. Maslov
Theoretical and Mathematical Physics, 2007, 150 : 436 - 437
[32] A Transference Theorem and Its Application
Liu, Ziyao
Chen, Jiecheng
Fan, Dashan
MEDITERRANEAN JOURNAL OF MATHEMATICS, 2024, 21 (05)
[33] Synthesis of application-specific memories for power optimization in embedded systems
Benini, L
Macii, A
Macii, E
Poncino, M
37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 300 - 303
[34] An application-level synthesis methodology for multidimensional embedded processing systems
Alippi, C
Galbusera, A
Stellini, M
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2003, 22 (11) : 1457 - 1470
[35] Supervisor synthesis for a class of concurrent discrete event systems
Takai, SE
Ushio, T
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 2686 - 2691
[36] Fault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell
Park, SJ
Lim, JT
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1999, 15 (02): : 386 - 391
[37] Generalized Moment Theorem and Its Application to Distributed-Parameter Control Systems
Zhao Yi( Zhongshan University
Guangzhou )
控制理论与应用, 1984, (02) : 111 - 124
[38] THE COMPLETE WHITTAKER THEOREM FOR TWO-DIMENSIONAL INTEGRABLE SYSTEMS AND ITS APPLICATION
ANKIEWICZ, A
PASK, C
JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1983, 16 (18): : 4203 - 4208
[39] A FACTORIZATION THEOREM AND ITS APPLICATION TO THE REPRESENTATION OF CYCLIC CAUSAL LINEAR-SYSTEMS
BARATCHART, L
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1982, 295 (03): : 223 - 226
[40] Dilworth's theorem and its application for path systems of a cycle -: Implementation and analysis
Benczúr, AA
Förster, J
Király, Z
ALGORITHMS - ESA'99, 1999, 1643 : 498 - 509

← 1 2 3 4 5 →