Reactive Behavior Design Tools

Update item information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Bradakis, Mark J.
Title Reactive Behavior Design Tools
Date 1992-01
Description The behavior of sensor based autonomous agents can be stratified into three basic levels. The first is low-level motor and sensor control, the second is mid-level reactive processes and the third is high-level end goals of the robotic device. The middle level of control, reactive processes, is the area of concern in this work, This behavior can be described by collections of finite state machines, and these machines can be implemented to produce real behavior. Problems arise if these state machines do not actually model correct behavior, so a means to verify the behavior is needed.; This thesis consists of two steps towards the goal of rapid design and verification of reactive behaviors. First a graphical state machine editor is developed to provide translation of behavioral state machines into COSPAN, a real time programming language. The resulting state machine description can be analyzed by COSPAN for user defined concepts of correctness. The second portion of the thesis describes the design of reactive behaviors for specific applications.
Type Text
Subject robots; control system; reactive behaviors; COSPAN
Language eng
Bibliographic Citation Bradakis, M. J. (1992). Reactive behavior design tools.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Format Medium application/pdf
Format Extent 24,407,074 bytes
File Name Bradakis-Reactive_Behavior.pdf
Conversion Specifications Original scanned with Kirtas 2400 and saved as 400 ppi uncompressed TIFF. PDF generated by Adobe Acrobat Pro X for CONTENTdm display
ARK ark:/87278/s6cr7vmk
Setname ir_computersa
Date Created 2016-04-27
Date Modified 2016-05-17
ID 96911
Reference URL
Back to Search Results