Achieving Intelligent Real-Time Control
Senior Principal Researcher
Time and Place
Talk 2:00 pm
Most research into applying AI techniques to real-time control problems has limited the power of AI methods or embedded ``reactivity'' in an AI system. Dr. Musliner will present an alternative approach that uses separate AI and real-time subsystems to address the problems for which each is designed; a structured interface allows the subsystems to communicate without compromising their respective performance goals. By reasoning about its own performance and resource restrictions, the Cooperative Intelligent Real-time Control Architecture (CIRCA) can guarantee that it will meet hard deadlines while still using unpredictable AI methods. Dr. Musliner will describe in detail the model of agent/environment interactions that CIRCA uses to build its real-time control plans, the methods used to prove that these control plans meet domain requirements, and the architectural mechanisms required to support guaranteed behavior. With its abilities to guarantee or trade off the timeliness, precision, confidence, and completeness of its output, CIRCA provides more flexible performance than previous systems.
David J. Musliner received
his B.S.E. degree with high honors in Electrical Engineering and Computer
Dr. Musliner received his
Ph.D. in Computer Science from the
After receiving his doctorate, Dr. Musliner spent a year and a half at the
In 1995, Dr. Musliner joined Honeywell Laboratories, where he is currently a Staff Research Scientist in the Automated Reasoning group. Dr. Musliner leads a research thrust based on CIRCA, emphasizing real-time planning and guaranteed intelligent control. The CIRCA thrust has had several projects funded by DARPA to investigate extensions and applications of the architecture. TheDARPA/ITO MASA-CIRCA project extended CIRCA to multi-agent applications, with explicit real-time negotiation and coordination between CIRCA agents controlling simulated unmanned aerial vehicles. The DARPA/ISO CIRCADIA project applied CIRCA concepts to computer security, developing real-time reactive control systems to defend against scripted cyber-attacks. The DARPA/IPTO CORTEX project is combining CIRCADIA with the Scyllarus cyber situation assessment system to provide closed-loop cyber security control.
Dr. Musliner also leads a large DARPA/IPTO Coordinators project to develop multi-agent coordination assistants for large teams of human performers. In addition, Dr. Musliner is co-leading a DARPA/IXO HURT project on controlling multiple unmanned vehicles in urban environments, bringing advanced NASA autonomous systems technologies to DARPA applications.
In earlier work, Dr. Musliner has made major technical contributions to a broad range of HTC projects including reactive planning and plan execution for large-scale petroleum refineries, the multi-agent SARA system for assisting military search and rescue operations, design of networked tool support for integrated constraint-based system design, and distributed scheduling for satellite data processing.
Dr. Musliner has published extensively in journals and conferences including AI Journal, IEEE Computer, IEEE Intelligent Systems, IEEE Systems, Man, and Cybernetics, AAAI, and numerous symposia and workshops. Dr. Musliner participates on program committees and review boards for IEEE, AAAI, Agents, NSF, and NASA. He has organized workshops, tutorials, and symposia for ICRA, AAAI, and AIPS. Dr. Musliner is a member of Sigma Xi, the scientific research honor society, as well as AAAI and Tau Beta Pi.
For appointments, please contact Kristen Schrauder