Safety with Non-Deterministic Control Action Selection Using Quantum Devices

被引:0
|
作者
Nieman, Kip [1 ]
Durand, Helen [1 ]
机构
[1] Wayne State Univ, 42 W Warren Ave Detroit, Detroit, MI 48202 USA
来源
IFAC PAPERSONLINE | 2024年 / 58卷 / 14期
基金
美国国家科学基金会;
关键词
Quantum computing; Quantum algorithms; Quantum information science; Control system stability; Non-deterministic operation; Grover's search algorithm; MODEL PREDICTIVE CONTROL;
D O I
10.1016/j.ifacol.2024.08.413
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Recent increasing interest in quantum computers has spurred research into practical engineering applications for quantum algorithms. One potential application is process control. The unique quantum phenomena involved with quantum computing brings up interesting considerations for control. This work focuses on non-determinism, first through a motivating simulation utilizing a continuous stirred-tank reactor. Following this, two methods of potentially ensuring system stability in the presence of non-determinism are discussed. The first involves including an additional gate to the modified Grover's algorithm presented in our previous work, which is designed to prevent a qubit state corresponding to an undesired control input from being measured. The second method involves defining an inner region where, if the state leaves the region, a classical stabilizing controller is activated to drive the state back inside the region.
引用
收藏
页码:664 / 669
页数:6
相关论文
共 50 条
  • [1] On non-deterministic supervisory control
    Fabian, M
    Lennartson, B
    PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 2213 - 2218
  • [2] Non-Deterministic Semantics for Quantum States
    Jorge, Juan Pablo
    Holik, Federico
    ENTROPY, 2020, 22 (02)
  • [3] Safety factor and the non-deterministic approaches
    Elishakoff, Isaac
    Starnes Jr., James H.
    Collection of Technical Papers - AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference, 1999, 4 : 3084 - 3096
  • [4] Goal specification in presence of non-deterministic action
    Baral, C
    Zhao, JC
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 273 - 277
  • [5] Path selection in networks with non-deterministic information
    Korach, E
    Ohayon, R
    2002 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2002, : 2227 - 2231
  • [6] On the power of non-deterministic quantum finite automata
    Nakanishi, M
    Indoh, T
    Hamaguchi, K
    Kashiwabara, T
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2002, E85D (02) : 327 - 332
  • [7] Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting
    Samik Basu
    Ratnesh Kumar
    IEEE/CAAJournalofAutomaticaSinica, 2021, 8 (05) : 953 - 970
  • [8] Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting
    Basu, Samik
    Kumar, Ratnesh
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2021, 8 (05) : 953 - 970
  • [9] Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
    Xie, Yifan
    Yin, Xiang
    Li, Shaoyuan
    IFAC PAPERSONLINE, 2020, 53 (02): : 1763 - 1769
  • [10] Characterization of non-deterministic quantum query and quantum communication complexity
    de Wolf, R
    15TH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2000, : 271 - 278