UML Modelling in Rigorous Design Methodology for Discrete Controllers

被引：10

作者：

Labiak, Grzegorz ^{[1
]}

Adamski, Marian ^{[1
]}

Doligalski, Michal ^{[1
]}

Tkacz, Jacek ^{[1
]}

Bukowiec, Arkadiusz ^{[1
]}

机构：

[1] Univ Zielona Gora, Inst Comp Engn & Elect, Licealna 9, PL-65417 Zielona Gora, Poland

来源：

INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS | 2012年 / 58卷 / 01期

关键词：

UML modelling; binary controller; decomposition; digital synthesis; formal analysis; verification;

D O I：

10.2478/v10177-012-0004-8

中图分类号：

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

学科分类号：

0809 ;

摘要：

The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.

引用

页码：27 / 34

页数：8

共 50 条

[31] A COMPUTER-AIDED METHODOLOGY FOR THE DESIGN OF DECENTRALIZED CONTROLLERS
GROSDIDIER, P
MORARI, M
COMPUTERS & CHEMICAL ENGINEERING, 1987, 11 (04) : 423 - 433
[32] Rigorous modelling
Nagel, Uwe
Guerra, Maria Jesus
Hydrocarbon Engineering, 2002, 7 (03):
[33] Design methodology for discrete manufacturing technologies
Ya. A. Solodukhin
Cybernetics and Systems Analysis, 1998, 34 : 97 - 109
[34] A design methodology of tracking controllers for magnetic levitation systems
Rosado, M
Munaro, CJ
PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA'01), 2001, : 47 - 51
[35] Design methodology for discrete manufacturing technologies
Solodukhin, YA
CYBERNETICS AND SYSTEMS ANALYSIS, 1998, 34 (01) : 97 - 109
[36] A DESIGN METHODOLOGY OF MICROPROGRAMMED CONTROLLERS FOR CUSTOM CMOS ICS
PIGUET, C
DIJKSTRA, E
THEYS, A
STAUFFER, M
PEROTTO, JF
MICROPROCESSING AND MICROPROGRAMMING, 1987, 21 (1-5): : 463 - 470
[37] Discrete Time Modeling, Implementation and Design of Current Controllers
van der Broeck, Christoph H.
De Doncker, Rik W.
Richter, Sebastian A.
von Bloh, Jochen
2014 IEEE ENERGY CONVERSION CONGRESS AND EXPOSITION (ECCE), 2014, : 540 - 547
[38] Design of switched controllers for discrete singular bilinear systems
Zhang X.
Zhang Q.
Journal of Control Theory and Applications, 2007, 5 (3): : 312 - 316
[39] Rigorous design of robust predictive controllers for processes with more inputs than outputs
Sarimveis, H
Genceli, H
Nikolaou, M
COMPUTERS & CHEMICAL ENGINEERING, 1996, 20 : S1065 - S1070
[40] Design of discrete PID controllers for maximizing stability margins
Guo, Tong-Yi
Hwang, Chyi
Lu, Li-Shin
ASIAN JOURNAL OF CONTROL, 2023, 25 (02) : 824 - 839

← 1 2 3 4 5 →