Quote: fixpoint control treats each reaction as the unique fixpoint for 'state+input -> state+output'; e.g., Esterel; difficult to prove unique

Quotation Skeleton

Unique fixpoint--This approach accepts that each reaction is … i.e., that each reaction is a deterministic function … becomes difficult because it is necessary to prove … these difficulties, the Esterel language has adopted this … [See this paper for further discussion.]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: hard real time systems (64 items)