Automation Comparison Procedure for Verification of Hybrid Systems.

Abstract

This paper describes ongoing research on a procedure for the verification of hybrid system controllers implemented via HyBrithms' Multiple Agent Hybrid Control Architecture which executes the Kohn Nerode procedure for the on-line extraction of real time controls. It is an automated static verification technique based on the construction of an Intersection Unification Automaton. We discuss an essential step of this verification technique, namely, a procedure to verify that the controller design generated by an agent in MAHCA meets the requirements established for that agent The paper describes the functionality of the procedure and illustrates it with an example.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1997
Accession Number
ADA344450

Entities

People

  • A. Nerode
  • J. B. Remmel
  • W. Kohn

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Construction
  • Control
  • Electronic Mail
  • Generators
  • Graphical User Interface
  • Hybrid Systems
  • Instructions
  • Language
  • Prototypes
  • Specifications
  • Terminals
  • Tools
  • Transitions
  • User Interface
  • Verification

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Computational Modeling and Simulation
  • Mathematical Modeling and Probability Theory.