Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification

被引：0
|
作者：
Nakamatsu, Kazumi [1 ]
机构：
[1] Univ Hyogo, Sch Human Sci & Environm, Kobe, Hyogo, Japan
来源：
2017 6TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO) | 2017年
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：113 / 113
页数：1
相关论文
共 50 条
  • [31] Fuzzy-logic control with application to intelligent buildings
    Thint, MP
    Wong, FS
    Dong, WM
    CIVIL ENGINEERING SYSTEMS, 1996, 14 (01): : 19 - 54
  • [32] An application on intelligent control using neural network and fuzzy logic
    Tyan, CY
    Wang, PP
    Bahler, DR
    NEUROCOMPUTING, 1996, 12 (04) : 345 - 363
  • [33] Application of symbolic and bounded model checking to the verification of logic control systems
    Loeis, Kingliana
    Younis, Mohammed Bani
    Frey, Georg
    ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 247 - 250
  • [34] Intelligent Control of Industrial Compensating Devices Based on the Application of Fuzzy Logic
    Kryvyi Rih National University, Vitaly Matusevich 11, Kryvyi Rih
    50027, Ukraine
    CEUR Workshop Proc., (218-230):
  • [35] Design and Verification of Polymorphic Safety Logic Control Method for Cruise Ammunition Fuze Based on Electronic Safety System
    Zhang C.
    Li H.
    Gong X.
    Chen Z.
    Yu H.
    Binggong Xuebao/Acta Armamentarii, 2023, 44 (10): : 3079 - 3090
  • [36] FUZZY-LOGIC APPLICATION FOR INTELLIGENT CONTROL OF A VARIABLE-SPEED DRIVE
    TANG, YF
    XU, LY
    IEEE TRANSACTIONS ON ENERGY CONVERSION, 1994, 9 (04) : 679 - 685
  • [37] FUZZY LOGIC-BASED INTELLIGENT CONTROL FOR SVM SPEAKER VERIFICATION WITH THE SUPPORT OF GMM PRIOR INFORMATION
    Ding, Ing-Jr
    Yen, Chih-Ta
    Lin, Zih-Jheng
    TRANSACTIONS OF THE CANADIAN SOCIETY FOR MECHANICAL ENGINEERING, 2013, 37 (03) : 467 - 476
  • [38] Development of application program for optimiezation of control safety of a procedural arrangment
    Loewe, Katharina
    Widiputri, Diah Indriani
    Loeher, Heinz-Josef
    CHEMIE INGENIEUR TECHNIK, 2007, 79 (10) : 1649 - 1655
  • [39] A Safety Program Framework and its application on a Weapon Control System
    Tomter, A
    SAFETY AND RELIABILITY, VOLS 1 AND 2, 2003, : 1561 - 1566
  • [40] APPLICATION OF FUZZY-LOGIC IN THE SPEED CONTROL OF AC SERVO SYSTEM AND AN INTELLIGENT INVERTER
    FENG, FC
    SHENG, NY
    IEEE TRANSACTIONS ON ENERGY CONVERSION, 1993, 8 (02) : 312 - 318
12345