NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Reasoning about Real-Time Systems With Temporal Interval Logic Constraints on Multi-State AutomataModels of real-time systems using a single paradigm often turn out to be inadequate, whether the paradigm is based on states, rules, event sequences, or logic. A model-based approach to reasoning about real-time systems is presented in which a temporal interval logic called TIL is employed to define constraints on a new type of high level automata. The combination, called hierarchical multi-state (HMS) machines, can be used to model formally a real-time system, a dynamic set of requirements, the environment, heuristic knowledge about planning-related problem solving, and the computational states of the reasoning mechanism. In this framework, mathematical techniques were developed for: (1) proving the correctness of a representation; (2) planning of concurrent tasks to achieve goals; and (3) scheduling of plans to satisfy complex temporal constraints. HMS machines allow reasoning about a real-time system from a model of how truth arises instead of merely depending of what is true in a system.
Document ID
19910011374
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Armen Gabrielian
(Thomson-CSF, Inc. Palo Alto, CA, United States)
Date Acquired
September 6, 2013
Publication Date
January 1, 1991
Publication Information
Publication: Fourth Annual Workshop on Space Operations Applications and Research (SOAR 90)
Publisher: National Aeronautics and Space Administration
Volume: 1
Subject Category
Cybernetics
Report/Patent Number
NASA-CP-3103-VOL-1
Meeting Information
Meeting: 4th Annual Workshop on Space Operations Applications and Research (SOAR)
Location: Albuquerque, NM
Country: US
Start Date: June 26, 1990
End Date: June 28, 1990
Sponsors: National Aeronautics and Space Administration, United States Air Force
Accession Number
91N20687
Funding Number(s)
CONTRACT_GRANT: N00014-89-C-0022
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available