Detail A Method of Modeling of Traffic System Using Modal Logic   Oleh:  Zanma, Tadanao ; Suzuki, Takamasa ; Ishida, Muneaki Jenis: Article from Article Dalam koleksi: Final Program and Book of Abstracts: The 4th Asian Control Conference, September 25-27, 2002 (Sep. 2002), page 162-167. Topik: Modelling Traffic System; Modal Logic; Discrete Variables Fulltext: AC021661.PDF (147.18KB) Isi artikel Traffic control systems are typical examples of hybrid systems as both continuous and discrete variables, such as the number of cars, their speeds, traffic signals and so on are involved in the system. For the modeling of hybrid systems, there exist various approaches based on discrete event system theory, which utilizes, for example, timed automaton, Petri net and so forth. The traffic control system can be often regarded as the system controlled by a logic-based controller. In addition, if the control specifications are also given by logical expressions, it may not be difficult to modify the existing logic-based controller. In this paper, the traffic control system consisting of two crossings is taken for an example, one of the modeling methods using modal logic is proposed, and its applicability to control is considered. Opini Anda Klik untuk menuliskan opini Anda tentang koleksi ini! Kembali

Copyright © 2006, 2007 Unika Atma Jaya, all rights reserved