제어로봇시스템학회:학술대회논문집

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지

Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets (ICCAS2005)

  • Xiaohui, Hu (Key Laboratory of Opto-Electronic Technology and Intelligent Control (Lanzhou Jiaotong University), Ministry of Education, Lanzhou Jiaotong University, Department of Computer Science and Engineering, Northwestern Polytechnical University) ;
  • Jianwu, Dang (Key Laboratory of Opto-Electronic Technology and Intelligent Control (Lanzhou Jiaotong University), Ministry of Education, Lanzhou Jiaotong University) ;
  • Xingshe, Zhou (Department of Computer Science and Engineering, Northwestern Polytechnical University)
  • Published : 2005.06.02
Download PDF
⟨ Previous Next ⟩

Abstract

The goal of our research is to develop a formal modeling methodology for supervisory and controlling systems that have artificially intelligent features. This approach is agent-based and central to the development of the model of mobility agent considering reactivity for real-time purpose and deliberation for optimal realization and safe-fail problems for critical systems like Intelligent Transportation Systems by high-level Petri net. By using nets within nets we investigate the concurrency of the system and the agent in one model without losing the needed abstraction, and synchronous channels are introduced to denote the coordination and communication. Finally an example is demonstrated.

Keywords