http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 주제어 : Discrete Event Systems (DES) (검색결과 6 건)
- 무료
- 기관 내 무료
- 유료
-
New Modularization Method to Design Supervisory Control of Automated Laboratory Systems
정태영 한국생산제조학회 2014 한국생산제조학회지 Vol.23 No.1
This paper describes the application of discrete event systems theory to the design of an automated laboratory system. Current automated laboratory systems typically consist of several interacting processes that must be carefully sequenced to avoid any possible process conflicts. Discrete Event Systems (DES) theory and Supervisory Control Theory (SCT) can be applied together as effective methods of modeling the system dynamics and designing supervisory controllers to precisely sequence the many processes that such systems might involve. Classical approaches to supervisory controller design tend to result in complex controller structures that are difficult to implement, maintain, and upgrade. In this paper, a new approach to designing supervisory controllers for automated laboratory systems is introduced. This new approach uses a modular controller structure that is easier to implement, maintain, and upgrade,and deals with "state explosion" issues in a novel and efficient way.
-
New Modularization Method to Design Supervisory Control of Automated Laboratory Systems
Taeyoung Jung(정태영) 한국생산제조학회 2014 한국생산제조학회지 Vol.23 No.1
This paper describes the application of discrete event systems theory to the design of an automated laboratory system. Current automated laboratory systems typically consist of several interacting processes that must be carefully sequenced to avoid any possible process conflicts. Discrete Event Systems (DES) theory and Supervisory Control Theory (SCT) can be applied together as effective methods of modeling the system dynamics and designing supervisory controllers to precisely sequence the many processes that such systems might involve. Classical approaches to supervisory controller design tend to result in complex controller structures that are difficult to implement, maintain, and upgrade. In this paper, a new approach to designing supervisory controllers for automated laboratory systems is introduced. This new approach uses a modular controller structure that is easier to implement, maintain, and upgrade,and deals with state explosion issues in a novel and efficient way.
-
On A Safety of Sequential Control System Based on Gröbner Bases Computation
Saifulza Alwi,Yasutaka Fujimoto 제어로봇시스템학회 2010 제어로봇시스템학회 국제학술대회 논문집 Vol.2010 No.10
This paper provides an approach of safety verification of logic control system with application of Grobner bases method. We propose a method to analyze and design a safe control system using a safety fucntion. In this case, the safety is defined to represent a safety domain in the state space. Using a plant model and controller examples with appropriate predetermined safety function, we can evaluate whether the whole system is safe or not. Illustrative example shows that the proposed method is effective for verifying safety and designing safe control system.
-
이은주,김삼택 한국인터넷방송통신학회 2011 한국인터넷방송통신학회 논문지 Vol.11 No.5
본 연구는 이산사건 시스템인 제조 시스템에 대하여 사용자 명세서에 따라 충실하게 동작하는 제어기를 설계하는 것이 목적이다. 특히, W. M. Wonham의 감독제어 이론을 기반으로 병렬처리가 가능한 패트리 넷을 이용한 제어기를 설계하는 것이다. 또한, 패트리 넷을 이용한 설계 시 고려해야 할 문제 중 공유하는 자원의 할당에 관한 문제를 다루고자 한다. 공유자원에 대한 처리를 사용자 명세서로 제시하고 제시한 패트리 넷으로 모델링하여 합성하면 제어기가 생성된다. 이렇게 생성된 제어기는 공유하는 자원이 있는 경우에 발생가능 한 교착상태(deadlock)와 기아상태(Starvation)에 대한 제어가 가능하다. 선행연구에서는 페트리 넷의 두 모델을 합성하는 방법으로 동기식 도달성 그래프를 제안하였다. 따라서 본 연구에서는 그 결과를 이용하여 교착상태와 기아상태를 예방한 제어된 시스템을 설계하여 제시하고자 한다. In this paper, our goal is to design the controller which operates a manufacturing system, discrete event system, guaranteeing user specification. In specially, based on supervisory control theory W. M. Wonham, our work consists in performing the controller using Petri nets possible parallelism. In addition, we consider the problem of allocation for resources sharing of the issues to consider when designing using Petri net. The controller can be generated by synthesis of user specification model and plant model after giving the management for the resource sharing. This created controller can control the deadlock and starvation which can occur in the case with resource sharing. Previous studies proposed the Constrained Synchronous Reachability graph to synthesis of the two Petri nets models. Therefore, we provide the controlled system which forbids a deadlock and starvation using the result of previous studies.
-
IEEE 2014 IEEE transactions on automatic control Vol.59 No.10
<P>This technical note presents a new modular supervisory control based on powers in which an event is enabled if the total power of local controllers to enable it is greater than the total power of local controllers to disable it. We present the conditions of controllability and power-observability of a common control objective of all local controllers to achieve the objective by modular control. Then, we apply the proposed power-based modular control scheme to the political economy problem: How economic inequality has increased by tax cuts? Even though most ordinary citizens of the United States believe that growing economic inequality is a bad thing, they supported tax cuts leading to the massive upward transfer of wealth since 1980. This technical note shows that this contradiction can be analyzed using the notion of power-observability which implies that if most citizens would have been well-informed, they would have opposed the tax cuts and politicians could have not easily pushed such policies to increase inequality.</P>
-
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
