To Transmit or Not to Transmit: Optimal Sensor Schedule for Remote State Estimation of Discrete-Event Systems (2311.13868v1)
Abstract: This paper considers the problem of optimal sensor schedules for remote state estimation of discrete-event systems. In this setting, the sensors observe information from the plant and transmit the observable information to the receiver or estimator selectively. A transmission mechanism decides whether the observable information is transmitted or not, according to an information transmission policy, such that the receiver has sufficient information to satisfy the purpose of decision-making. To construct such a transmission mechanism, we first construct a non-deterministic dynamic observer that contains all feasible information transmission policies. Then, we show that the information updating rule of the dynamic observer indeed yields the state estimate from the receiver's point of view. Finally, we propose an approach to extract a specific information transmission policy, realized by a finite-state automaton, from the dynamic observer while satisfying some desired observation properties. To reduce transmission-related costs, we also require that the sensors transmit events as few as possible. A running example is provided to illustrate the proposed procedures.
- A state space approach to decentralized fault se-coprognosability of partially observed discrete event systems. IEEE Transactions on Cybernetics, 53(3):2028–2033, 2022.
- Verification of pattern-pattern diagnosability in partially observed discrete event systems. IEEE Transactions on Automatic Control, 2023.
- Hoda A ElMaraghy. Flexible and reconfigurable manufacturing systems paradigms. International journal of flexible manufacturing systems, 17:261–276, 2005.
- Design of supervisors for partially observed discrete event systems using quiescent information. IEEE Transactions on Automation Science and Engineering, 2023.
- On scalable supervisory control of multi-agent discrete-event systems. Automatica, 108:108460, 2019.
- Online fault diagnosis for smart machines embedded in industry 4.0 manufacturing systems: A labeled petri net-based approach. IFAC Journal of Systems and Control, 16:100146, 2021.
- A distributed method to avoid higher-order deadlocks in multi-robot systems. Automatica, 112:108706, 2020.
- Robust fault diagnosis of stochastic discrete event systems. IEEE Transactions on Automatic Control, 64(10):4237–4244, 2019.
- Revisiting state estimation and weak detectability of discrete-event systems. IEEE Transactions on Automation Science and Engineering, 20(1):662–674, 2022.
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems. Automatica, 135:109978, 2022.
- Event-triggered robust fault diagnosis and control of linear roesser systems: A unified framework. Automatica, 128:109575, 2021.
- Error-and tamper-tolerant state estimation for discrete event systems under cost constraints. IEEE Transactions on Automatic Control, 2023.
- Secure your intention: On notions of pre-opacity in discrete-event systems. IEEE Transactions on Automatic Control, 2022.
- State estimation and detectability of networked discrete event systems with multi-channel communication networks. IEEE Transactions on Automation Science and Engineering, 2023.
- An improved approach for verifying delayed detectability of discrete-event systems. Automatica, 124:109291, 2021.
- Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis. International Journal of Control, pages 1–21, 2023.
- A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. IEEE Transactions on Automatic Control, 61(8), 2016.
- Synthesis of dynamic masks for infinite-step opacity. IEEE Transactions on Automatic Control, 65(4):1429–1441, 2019.
- Minimization of sensor activation in decentralized discrete-event systems. IEEE Transactions on Automatic Control, 63(11):3705–3718, 2018.
- Maximum information release while ensuring opacity in discrete event systems. IEEE Transactions on Automation Science and Engineering, 12(3):1067–1079, 2015.
- Minimal communication in a distributed discrete-event system. IEEE Transactions on Automatic Control, 48(6):957–975, 2003.
- To transmit or not to transmit: Optimal sensor scheduling for remote state estimation of discrete-event systems. In 2022 American Control Conference (ACC), pages 4483–4489. IEEE, 2022.