Automatic synthesis of reactive agents

Song, Insu, Governatori, Guido, and Diederich, Joachim (2010) Automatic synthesis of reactive agents. In: Proceedings of the 11th International Conference on Control Automation Robotics and Vision (1) 5707867. pp. 970-975. From: 11th International Conference on Control Automation Robotics and Vision (ICARCV 2010), 7-10 December 2010, Singapore.

[img] PDF (Published Version) - Published Version
Restricted to Repository staff only

View at Publisher Website:


This paper introduces a new approach to designing smart control chips that enables automatic synthesis of real-time control systems from agent specifications. An agent specification is compiled into a hardware description format, such as RTL-VHDL (Register Transfer Level-VLSI Hardware Description Language) or RTL Verilog, which is synthesized using computer-assisted tools to develop ASIC masks or FPGA configurations. A rule-based specification language called Layered Argumentation System (LAS) is defined and a sound and complete mapping to Verilog is developed. LAS combines fuzzy reasoning and nonmonotonic reasoning. This enables chip designers to capture commonsense knowledge and concepts having varying degrees of confidence collaboratively and incrementally.

Item ID: 23487
Item Type: Conference Item (Research - E1)
ISBN: 978-1-4244-7814-9
Keywords: agent programming; circuit synthesis; control systems; fuzzy controller; logic controller; reactive systems
Date Deposited: 25 Oct 2012 05:21
FoR Codes: 08 INFORMATION AND COMPUTING SCIENCES > 0802 Computation Theory and Mathematics > 080203 Computational Logic and Formal Languages @ 50%
09 ENGINEERING > 0906 Electrical and Electronic Engineering > 090601 Circuits and Systems @ 25%
09 ENGINEERING > 0906 Electrical and Electronic Engineering > 090602 Control Systems, Robotics and Automation @ 25%
SEO Codes: 89 INFORMATION AND COMMUNICATION SERVICES > 8902 Computer Software and Services > 890201 Application Software Packages (excl. Computer Games) @ 100%
Downloads: Total: 3
More Statistics

Actions (Repository Staff Only)

Item Control Page Item Control Page