检索结果-南通市图书馆

Modular supervisory control for multi-floor manufacturing processes

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

control Theory and Technology 2023年第2期21卷 148-160页

作者： Fotis N.Koumboulis Dimitrios G.Fragkoulis Aristides A.Michos Department of Digital Industry Technologies School of ScienceNational and Kapodistrian University of AthensEuripus Campus3400 Psahna EuboeaGreece Core Department National and Kapodistrian University of AthensEuripus Campus3400 Psahna EuboeaGreece

Due to space availability limitations and high land costs,there is an increasing development of multi-floor manufacturing(MFM)systems in urban and industrial *** problem of coordination in a multi-floor manufacturing process,in the Ramadge Wonham framework,is *** manufacturing chain of each floor and the elevator system are modeled in the form of finite deterministic *** models of the multi-floor manufacturing process are parametric with respect to the number of floors and the number of manufacturing machines on each *** coordination desired performance is formulated in the form of desired regular languages in analytic *** languages are realized by appropriate supervisors in the form of finite deterministic *** models of the supervisors are also parametric with respect to the number of floors and the number of manufacturing machines on each *** total control of the coordination of the multi-floor manufacturing process is accomplished via a modular supervisory control *** complexity of the supervisors as well as the complexity of the total modular supervisory architecture are determined in analytic forms with respect to the number of floors and the number of manufacturing machines on each *** special case of a two floor manufacturing process is presented as an illustrative example.

关键词： Manufacturing processes Discrete event systems supervisory control Industry 4.0

supervisory control of PMSM System Using Online GA Tuning Neural Networks

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Supervisory Control of PMSM System Using Online GA Tuning Ne...

第二十四届中国控制会议

作者： Wang Jiang, Che Yanqiu, Zhang Xiaodong(School of Electrical and A utomation Eng., Tianjin University, Tianjin 300072)

＜正＞ In this paper, we present a controller for the supervisory backstepping control of a class of general nonlinear systems using online GA tuning neural networks （GNSB controller）. The weights of the neural networks （NNs） approximator employed in the backstepping controller can successfully be tuned via an online genetic algorithm （GA） approach. A simplified form of GA （SGA） approach is proposed to accelerate the search speed, and a new fitness function is established by the Lyapunov design method for the requirement of tuning the weights of the NNs online. A supervisory controller is used to guarantee the stability of the dose-loop nonlinear system. Example of PMSM system controlled by the presented controller is shown to illustrate the effectiveness of the proposed method.

关键词： neural networks genetic algorithms supervisory control PMSM

supervisory control of Chaotic Systems Using Online GA Tuning Neural Networks

在线全文

cnki会议

学校读者我要写书评

暂无评论

Supervisory Control of Chaotic Systems Using Online GA Tunin...

第二十六届中国控制会议

作者： Che Yanqiu,Wang Jiang,Zhou Sisi School of Electrical Engineering and Automation,Tianjin University,Tianjin 300072,P.R.China

In this paper,we present a controller for the supervisory backstepping control of a class of general nonlinear sys- tems using online GA tuning neural networks （GNSB controller）.The weights of the neural networks （NNs） approximator employed in the backstepping controller can successfully be turned via an online genetic algorithms （GAs） *** ge- netic algorithm has the capability of directed random search for global optimization.A simplified form of GA （SGA） ap- proach is proposed to accelerate the search speed,and a new fitness function is established by the Lyapunov design method for the requirement of tuning the weights of the NNs online.A supervisory controller is used to guarantee the stability of the close-loop nonlinear *** of Duffing chaotic system controlled by the presented controller are shown to illustrate the effectiveness of the proposed controller.

关键词： Neural Networks Genetic Algorithms supervisory control Chaos

supervisory control of a Kind of Extended Finite State Machines

在线全文

cnki会议

学校读者我要写书评

暂无评论

Supervisory Control of a Kind of Extended Finite State Machi...

第24届中国控制与决策会议

作者： Xiang-Yun Wang 1 , Kai-Yuan Cai 2 1. College of Computer and Information Engineering, Tianjin Normal University, Tianjin 300387, China2. Department of Automatic control, Beihang University, Beijing 100191, China

The supervisory control theory of discrete event systems modeled as finite state machines （FSMs） have been studied for many years. However, the problem of state explosion in the exiting theories obstructs its widespread application. To alleviate the problem, extended finite state machines （EFSMs） is considered to model discrete event systems. This paper focuses on the supervisory control of a kind of EFSMs. Based on the concept of controllability, a necessary and sufficient condition for supervisor existence and an optimal algorithm to such supervisor design are presented.

关键词： Discrete event systems (DES) supervisory control Extended finite state machines (EFSMs) Software cybernetics

Time-Delay Identification through supervisory control of Uncertain Dynamical Systems with Time Delay

在线全文

cnki会议

学校读者我要写书评

暂无评论

Time-Delay Identification through Supervisory Control of Unc...

第十四届全国非线性振动暨第十一届全国非线性动力学和运动稳定性学术会议

作者： Li Xiang Qin ZhiChang Zhong Shun Sun JianQiao Department of Mechanics Tianjin University

Time delay is a common phenomenon in engineering economical and biological *** is caused by signal transportation and communication *** control systems time delay can lead to instability and poor *** in most of cases ... 详细信息

关键词： time delay identification supervisory control uncertain dynamical system

A SURVEY OF EDICT supervisory control METHOD

在线全文

cnki会议

学校读者我要写书评

暂无评论

A SURVEY OF EDICT SUPERVISORY CONTROL METHOD

第十九届中国控制会议

作者： A．H.Jones The University of Salford ManchesterUK

＜正＞In this paper, a new method is proposed for solving the forbidden state supervisory controller design problem. The method involves searching the reachability graph and formulating the control policy for each controllable transition as sets of markings which enable or block the transition. A Boolean logic reduction algorithm is then be used to minimize this control policy logic at each controllable transition. Finally, in accordance with logic reduction algorithm, the control policy is simply implemented at each controllable transition by adding enabling and inhibiting arcs to the original Petri net model.

关键词： supervisory control Petri Nets Boolean Logic Reduction

control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting

在线全文

cnki会议

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2021年第5期8卷 953-970页

作者： Samik Basu Ratnesh Kumar the Department of Computer Science Iowa State UniversityIowa 50011-3060 USA the Department of Electrical and Computer Engineering Iowa State UniversityIowa 50011-3060 USA

The supervisory control problem for discrete event system(DES) under control involves identifying the supervisor, if one exists, which, when synchronously composed with the DES,results in a system that conforms to the control specification. In this context, we consider a non-deterministic DES under complete observation and control specification expressed in action-based propositional μ-calculus. The key to our solution is the process of quotienting the control specification against the plan resulting in a new μ-calculus formula such that a model for the formula is the supervisor. Thus the task of control synthesis is reduced a problem of μ-calculus satisfiability. In contrast to the existing μ-calculus quotienting-based techniques that are developed in deterministic setting, our quotienting rules can handle nondeterminism in the plant models. Another distinguishing feature of our technique is that while existing techniques use a separate μ-calculus formula to describe the controllability constraint(that uncontrollable events of plants are never disabled by a supervisor), we absorb this constraint as part of quotienting which allows us to directly capture more general state-dependent controllability constraints. Finally, we develop a tableau-based technique for verifying satisfiability of quotiented formula and model generation. The runtime for the technique is exponential in terms of the size of the plan and the control specification. A better complexity result that is polynomial to plant size and exponential to specification size is obtained when the controllability property is state-independent. A prototype implementation in a tabled logic programming language as well as some experimental results are presented.

关键词： Discrete event systems(DES) non-deterministic plant μ-calculus supervisory control

维普期刊数据库

Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events

在线全文

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2021年第3期8卷 597-605页

作者： Bo Huang MengChu Zhou Cong Wang Abdullah Abusorrah Yusuf Al-Turki School of Computer Science and Engineering Nanjing University of Science and TechnologyNanjing 210094China Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewarkNJ 07102 USA the Center of Research Excellence in Renewable Energy and Power Systems and the Department of Electrical and Computer Engineering King Abdulaziz UniversityJeddah 21589Saudi Arabia

In this paper,a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events is proposed based on a Petri net ***,a Petri net for the deadlock control of such systems is *** admissible markings and first-met inadmissible markings(FIMs)are ***,place invariants are designed via an integer linear program(ILP)to survive all admissible markings and prohibit all FIMs,keeping the underlying system from reaching deadlocks,livelocks,bad markings,and the markings that may evolve into them by firing uncontrollable *** also ensures that the obtained deadlock-free supervisor does not observe any unobservable *** addition,the supervisor is guaranteed to be admissible and structurally minimal in terms of both control places and added *** condition under which the supervisor is maximally permissive in behavior is ***,experimental results with the proposed method and existing ones are given to show its effectiveness.

关键词： Deadlock prevention Petri nets robotic manufacturing cells structure-minimized supervisor supervisory control uncontrollability unobservability

维普期刊数据库

An attack-immune trusted architecture for supervisory aircraft hardware

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2021年第11期34卷 169-181页

作者： Dongxu CHENG Chi ZHANG Jianwei LIU Dawei LI Zhenyu GUAN Wei ZHAO Mai XU School of Cyber Science and Technology Beihang UniversityBeijing 100191China Beijing Electro-Mechanical Engineering Institute Beijing 100074China

With the wide application of electronic hardware in aircraft such as air-to-ground communication,satellite communication,positioning system and so on,aircraft hardware is facing great secure *** on the secure problem of aircraft hardware,this paper proposes a supervisory control architecture based on secure System-on-a-Chip(So C)*** proposed architecture is attack-immune and trustworthy,which can support trusted escrow application and Dynamic Integrity Measurement(DIM)without *** architecture is characterized by a Trusted Monitoring System(TMS)hardware isolated from the Main Processor System(MPS),a secure access channel from TMS to the running memory of the MPS,and the channel is *** on this architecture,the DIM program running on TMS is used to measure and call the Lightweight Measurement Agent(LMA)program running on *** this method,the Operating System(OS)kernel,key software and data of the MPS can be dynamically measured without disturbance,which makes it difficult for adversaries to attack through ***,this architecture has been fully verified on FPGA prototype *** with the existing systems,our architecture achieves higher security and is more efficient on DIM,which can fully supervise the running of application and aircraft hardware OS.

关键词： Aircraft hardware Dynamic integrity measurement supervisory control System-on-a-Chip(SoC) Trusted computing

维普期刊数据库