Control Rules for Reactive System Games
نویسنده
چکیده
This paper presents a deductive approach to the control problem for infinite-state reactive systems. It describes three proof rules, sound and relatively complete for formulas in the first two levels of the hierarchy of linear temporal logic—safety and response. The control conditions forming the premises of the rules are Π02 first-order formulas. If a subroutine can prove their validity constructively, the extracted programs can be used to synthesize a winning strategy for the controller.
منابع مشابه
Evolution of Reactive Rules in Multi Player Computer Games Based on Imitation
Observing purely reactive situations in modern computer games, one can see that in many cases few, simple rules are sufficient to perform well in the game. In spite of this, the programming of an artificial opponent is still a hard and time consuming task in the way it is done for the most games today. In this paper we propose a system in which no direct programming of the behaviour of the oppo...
متن کاملReducing Retrieval Time in Automated Storage and Retrieval System with a Gravitational Conveyor Based on Multi-Agent Systems
The main objective of this study is to reduce the retrieval time of a list of products by choosing the best combination of storage and retrieval rules at any time. This is why we start by implementing some storage rules in an Automated Storage/Retrieval System (Automated Storage and Retrieval System: AS/RS) fitted with a gravity conveyor while some of these rules are dedicated to storage and ot...
متن کاملIntention-based Robot Control in Social Games
We present a novel, sophisticated intention-based control system for a mobile robot built from an extremely inexpensive webcam and radio-controlled toy vehicle. The system visually observes humans participating in various playground games and infers their goals and intentions through analyzing their spatiotemporal activity in relation to itself and each other, and then builds a coherent narrati...
متن کاملReactive and Active Power Control of Grid WECS Based on DFIG and Energy Storage System under both Balanced and Unbalanced Grid Conditions
This paper focuses on improving the active and reactive power control of Wind Energy Conversion System (WECS) by employing the Battery Energy Storage System (BESS) and controlling the frequency and voltage regulation instantaneously. The proposed power control scheme is composed of two control loops so that they are implemented and designed for active power control and controlling the reactive ...
متن کاملSimultaneous Control of Active and Reactive Powers of Vanadium Redox Flow Battery Systems in Flexible Microgrids
This paper discusses the control of flexible microgrids, consisting of a Redox Flow Batteries (RFB) and a new power conditioning system (PCS) for the RFB. Considering the importance of energy storage, this study is essential in power systems that are developed cautiously. RFB is connected to power system by a DC/DC or DC/AC converter to produce a DC voltage. It is very important that this conve...
متن کامل