Quote: constrained control systems may allow blocked reactions or multiple, nondeterministic reactions; proving uniqueness is difficult; e.g., Signal and Sildex

Quotation Skeleton

Relation or constraint--This approach accepts reactions as constraints … one solution of the form (5), or multiple … the issue of checking whether a program is … [state transition] still remains a prior to generating executable code. Signal has … [See this paper for further discussion of Signal and Sildex.]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: hard real time systems (64 items)