A logical approach to control. Some new logical concepts and their application to the notion of safety for control variants

被引：0
|
作者：
Terlikowski, T [1 ]
机构：
[1] Polish Acad Sci, Inst Geophys, PL-01452 Warsaw, Poland
来源：
FUNDAMENTA INFORMATICAE | 2002年 / 52卷 / 04期
关键词：
first-order logic; set theory; positive implication; positive correspondence; safe set of control variants;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we introduce logical notions of positive implication and positive correspondence aimed at a formalization of notions of safety of control variants in control theory.
引用
收藏
页码：377 / 394
页数：18
相关论文
共 50 条
  • [21] Analysis and control of general logical networks - An algebraic approach
    Cheng, Daizhan
    Qi, Hongsheng
    Zhao, Yin
    ANNUAL REVIEWS IN CONTROL, 2012, 36 (01) : 11 - 25
  • [22] NEW APPROACH TO CORROSION CONTROL.
    Anon
    Cargo Systems International: The Journal of ICHCA, 1980, 7 (11):
  • [23] NEW APPROACH TO SPEED CONTROL.
    Altnether, Joseph
    Holm, Robert
    Machine Design, 1986, 58 (28) : 173 - 177
  • [24] Logical complement - new method for control of combinatorial circuit
    Gessel, M.
    Morozov, A.V.
    Sapozhnikov, V.V.
    Sapozhnikov, Vl.V.
    Avtomatika i Telemekhanika, 2003, (01): : 167 - 176
  • [25] Application of productions for automatic control of logical design of discrete devices
    P. N. Bibilo
    V. I. Romanov
    Journal of Computer and Systems Sciences International, 2007, 46 : 55 - 67
  • [26] Application of productions for automatic control of logical design of discrete devices
    Bibilo, P. N.
    Romanov, V. I.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2007, 46 (01) : 55 - 67
  • [27] Logical control approach to fuel efficiency optimization for commuting vehicles
    Kang, Mingxin
    Wu, Yuhu
    Shen, Tielong
    INTERNATIONAL JOURNAL OF AUTOMOTIVE TECHNOLOGY, 2017, 18 (03) : 535 - 546
  • [28] Logical control approach to fuel efficiency optimization for commuting vehicles
    Mingxin Kang
    Yuhu Wu
    Tielong Shen
    International Journal of Automotive Technology, 2017, 18 : 535 - 546
  • [29] A logical approach to dynamic role-based access control
    Balbiani, Philippe
    Chevalier, Yannick
    El Houri, Marwa
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, 2008, 5253 : 194 - 208
  • [30] A logical network approximation to optimal control on a continuous domain and its application to HEV control
    Yuhu WU
    Jiangyan ZHANG
    Tielong SHEN
    Science China(Information Sciences), 2022, 65 (11) : 178 - 195
12345