نتایج جستجو برای: supervisory control theory

تعداد نتایج: 2043966  

Journal: :Science of Computer Programming 2014

2008
M. Peeters D. A. van Beek A. Y. Pogromsky J. E. Rooda

A supervisor is generated with Supervisory Control Theory [3], resulting in a nonblocking and minimally restrictive controller. Time is introduced time using timed automata theory. A compact data structure is used to keep track of the time information in the timed automata: Heaps of Pieces [2]. The fastest sequence of events is found, using graph search algorithms of Dijkstra and A [1]. This is...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم پزشکی 1389

introduction: diabetes mellitus is an growing national and international public health concern. the number of people affected by diabetes in world by 2030 will be 69% in developing countries. regular physical activity plays a key role in the management of type 2 diabetes melitus, particularly glycemic control. it has been recommended that peoples with type 2 diabetes participate in moderate-int...

2012
Javed Iqbal Sher Afzal Khan Nazir Ahmad Zafar Farooq Ahmad Abdul Wali Khan

Supervisory control of the mobile robot navigation system has critical importance. The supervisory control software development of mobile robot navigation can be performed in an unknown environment or for controlled robots in a known environment. Finite automata and graph theory are functional tools in modeling the robot navigation system through discrete environment. This research has emphasis...

Journal: :Mathematical Problems in Engineering 2013

2002
Jan Komenda

Coalgebraic techniques are applied to the supervisory control of discrete-event systems with partial observations. Classical notions from concurrency theory are specialized to control theory. The concept of weak transitions enables the relational characterization of observability and gives rise to a coalgebraic formulation of the necessary and sufficient conditions for the existence of a superv...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید