Reasoning about real-time systems with temporal interval logic constraints on multi-state automata

Author:: Gabrielian, Armen
Published:: Jan 1, 1991.
Physical Description:: 1 electronic document

Online Version

hdl.handle.net , Connect to this object online.

Availability

Finding items...

Restrictions on Access:

Unclassified, Unlimited, Publicly available.
Free-to-read Unrestricted online access

Summary:

Models 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.

Other Subject(s):

CYBERNETICS

Collection:

NASA Technical Reports Server (NTRS) Collection.

Note:

Document ID: 19910011374.
Accession ID: 91N20687.
NASA, Lyndon B. Johnson Space Center, Fourth Annual Workshop on Space Operations Applications and Research (SOAR 90); p 368-374.

Terms of Use and Reproduction:

No Copyright.

View MARC record | catkey: 15681880