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 条
  • [31] 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
  • [32] A logical network approximation to optimal control on a continuous domain and its application to HEV control
    Wu, Yuhu
    Zhang, Jiangyan
    Shen, Tielong
    SCIENCE CHINA-INFORMATION SCIENCES, 2022, 65 (11)
  • [33] NEW APPROACH TO STOCHASTIC ADAPTIVE CONTROL.
    Meyn, Sean P.
    Caines, Peter E.
    IEEE Transactions on Automatic Control, 1987, AC-32 (03) : 220 - 226
  • [34] SOME NEW RESULTS CONCERNING LOGICAL DETERMINANTS AND THEIR APPLICATION TO THE DYNAMICS OF AUTOMATA
    LEVIN, VI
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1980, (05): : 14 - 23
  • [35] Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
    Vassilyev, S. N.
    Ponomarev, G. M.
    TRUDY INSTITUTA MATEMATIKI I MEKHANIKI URO RAN, 2011, 17 (02): : 35 - 52
  • [36] Automation Methods for Logical Derivation and Their Application in the Control of Dynamic and Intelligent Systems
    Vassilyev, S. N.
    Ponomarev, G. M.
    PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2012, 276 : S161 - S179
  • [37] Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
    S. N. Vassilyev
    G. M. Ponomarev
    Proceedings of the Steklov Institute of Mathematics, 2012, 276 : 161 - 179
  • [38] Robust Set Controllability of Logical Control Networks: A Set Monotonicity Approach
    Wang, Shuling
    Li, Haitao
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2022, 9 (03): : 1261 - 1270
  • [39] LOGICAL STRUCTURE AND FUNCTIONS OF A NEW TRAFFIC CONTROL AND SURVEILLANCE SYSTEM.
    Yoshida, Kazumasa
    Annual Report of Roads, 1984, : 47 - 53
  • [40] Invertibility of higher order k-valued logical control networks and its application in trajectory control
    Zhao, Guodong
    Wang, Yuzhen
    Li, Haitao
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2016, 353 (17): : 4667 - 4679
12345