Formal methods for fuzzy modeling and control - Preface

被引：0
|
作者：
de Oliveira, JV
Gomide, F
机构：
[1] UBI, Dept Math & Comp Sci, P-6200 Covilha, Portugal
[2] Univ Estadual Campinas, Sch Elect & Comp Engn, Dept Comp Engn & Ind Automat, BR-13081970 Campinas, SP, Brazil
来源：
FUZZY SETS AND SYSTEMS | 2001年 / 121卷 / 01期
关键词：
D O I：
10.1016/S0165-0114(99)00167-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 2
页数：2
相关论文
共 50 条
  • [11] Preface: Applications of Formal Methods and Digital Twins
    Hallerstede, Stefan
    Kamburjan, Eduard
    CEUR Workshop Proceedings, 2023, 3507
  • [12] From "formal methods" to system modeling
    Broy, Manfred
    Formal Methods and Hybrid Real-Time Systems, 2007, 4700 : 24 - 44
  • [13] Special issue on 'Software Engineering and Formal Methods' Preface
    不详
    SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
  • [14] Special Issue: Formal Methods for Interactive Systems Preface
    Reeves, Steve
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (02) : 71 - 71
  • [15] Proceedings of Formal Methods in Computer Aided Design: Preface
    Proc. Fromal Methods Comput. Aided Des., 2006, (vii):
  • [16] Fuzzy concepts and formal methods: A sample specification for a fuzzy expert system
    Matthews, C
    PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOL 1 & 2, 2002, : 1150 - 1155
  • [17] Fuzzy modeling for control
    Deissenberg, C
    JOURNAL OF ECONOMICS-ZEITSCHRIFT FUR NATIONALOKONOMIE, 2000, 71 (02): : 207 - 209
  • [18] Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey
    Cheng, Ruijun
    Chen, Dewang
    Song, Haifeng
    Liu, Hui
    Cheng, Huize
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2025, 26 (02) : 1419 - 1440
  • [19] A Comparison of Fuzzy Methods for Modeling
    Aras, Ayse Cisel
    Kaynak, Okyay
    Batyrshin, Idar
    IECON 2008: 34TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-5, PROCEEDINGS, 2008, : 1 - +
  • [20] Fuzzy concepts and formal methods: Some illustrative examples
    Matthews, C
    Swatman, PA
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 230 - 238
12345