Title :
Computing with real world: a fuzzy duration calculs
Author :
Zhu, Ming-Yuan ; Wang, Cheng-Wei
Author_Institution :
Beijing Inst. of Syst. Eng., China
Abstract :
A fuzzy duration calculus (FDC) is presented, which combines duration calculus and fuzzy logic into one framework. It will be used as a basis for studying intermixed models for analog and digital computing, as a formal framework for specifying and reasoning about hybrid computer systems
Keywords :
formal specification; fuzzy logic; inference mechanisms; process algebra; analog computing; digital computing; formal framework; fuzzy duration calculs; fuzzy logic; hybrid computer systems; intermixed models; reasoning; specification; Analog computers; Calculus; Computer architecture; Computer science; Computer vision; Concurrent computing; Fuzzy logic; Fuzzy systems; Power system modeling; Systems engineering and theory;
Conference_Titel :
Computer Software and Applications Conference, 1993. COMPSAC 93. Proceedings., Seventeenth Annual International
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-8186-4440-0
DOI :
10.1109/CMPSAC.1993.404182
