Map
Index
Random
Help
th

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

topics > all references > references a-b > QuoteRef: benvA1_2003 , p. 66



Topic:
hard real time systems

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 up

Topic: hard real time systems (64 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.