Article
Education, Scientific Disciplines
Lihong Cheng, Lei Feng, Zhiwu Li
Summary: The paper introduces a new method to solve the supremal quasi-congruence computation problem using binary linear programming, aiming to reduce computational complexity and improve efficiency. The approach tackles the optimal partitioning problem to achieve optimal state-to-coset allocation, aiming to find the coarsest quasi-congruence and use the least number of cosets.
Article
Automation & Control Systems
F. Arichi, B. Cherki, M. Djemai, S. M. Djouadi
Summary: This paper discusses fault diagnosis for discrete event systems described by partially observed Petri nets, proposing an algebraic observer-based approach to detect and identify faults.
Article
Automation & Control Systems
Jinhui Zhang, Jianfang Yin, Hao Xu, Zhongqi Sun
Summary: This article addresses the problem of event-driven output feedback control for discrete time-varying systems with external disturbances. It proposes a novel time-varying extended state functional observer to estimate unmeasured system states and external disturbances, and introduces an event-driven control scheme to reduce communication resource usage. The effectiveness of the proposed control approaches is demonstrated through numerical simulations.
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL
(2021)
Article
Automation & Control Systems
Xia Huang, Wenjin Li, Zhen Wang, Jianwei Xia, Hao Shen
Summary: In this article, the exponential stabilization of delayed switched linear systems with asynchronous switching is achieved through discrete dynamic event-triggered control. A procedure for the feedback gain design is provided. Simulation example is used to verify the effectiveness and superiority of the proposed control scheme and obtained results.
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
(2023)
Article
Automation & Control Systems
Maiying Zhong, Steven X. Ding, Qing-Long Han, Xiao He, Donghua Zhou
Summary: This paper focuses on event-triggered H-infinity filtering for linear discrete time-varying systems. An equivalent relationship is established using the lifting technique, and a feasible solution is obtained through Riccati recursions. An algorithm based on time-update and event-update recursions is presented for the implementation of event-triggered H-infinity filtering. The proposed approach provides a new scheme that decouples estimation error from transmission error and is less conservative and more computationally attractive than existing methods based on recursive linear inequality matrix.
Article
Computer Science, Information Systems
Salwa Habbachi, Amal Zaghdoud, Zhiwu Li, Naiqi Wu, Mohamed Khalgui
Summary: This paper addresses the opacity problem in discrete event systems modeled with labeled Petri nets, assuming the existence of an active intruder who can manipulate the system behavior through sensor attacks. The paper proposes a framework for opacity verification and derives algorithms for identifying opaque secret words and analyzing attacks. The validity and efficiency of the proposed approaches are demonstrated through experiments.
INFORMATION SCIENCES
(2022)
Article
Automation & Control Systems
Frederic Mazenc, Michael Malisoff, Corina Barbalata, Zhong-Ping Jiang
Summary: This paper presents a new design for the event-triggered output feedback control of uncertain linear time-varying systems. It shows that by factoring fundamental solutions and using small-gain arguments, interval observers, and positive systems, a new class of robust event-triggered output-feedback controllers can be obtained. The key innovation lies in the use of new event triggers that employ vectors of absolute values instead of the usual Euclidean 2-norms.
SYSTEMS & CONTROL LETTERS
(2022)
Article
Automation & Control Systems
Shuo Yang, Junyao Hou, Xiang Yin, Shaoyuan Li
Summary: This article investigates security and privacy issues in networked supervisory control systems, focusing on the concept of opacity as an information flow security property to characterize the security status of the system. The research addresses the scenario of a passive intruder accessing insecure communication channels, proposing network observers for opacity verification problems in the networked setting. The study shows that the proposed network observers can effectively solve the opacity verification problems in the networked control setting.
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS
(2021)
Article
Automation & Control Systems
Min Wang, Longwang Huang, Zhijia Zhao, Chenguang Yang
Summary: This paper presents an event-triggered adaptive neural output feedback control scheme for uncertain systems with immeasurable states, utilizing an i-step ahead predictor, neural observer, and variable substitution technology to estimate system states, improve system performance, and reduce communication resource consumption.
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL
(2021)
Article
Computer Science, Information Systems
Jingkai Yang, Weilin Deng, Daowen Qiu, Cheng Jiang
Summary: This paper investigates the opacity problems in networked discrete event systems (NDESs), formulating four kinds of opacity for NDESs and presenting verification algorithms for these notions. The extension of opacity notions in classical DESs suggests that when communication delays and losses disappear, the new notions will reduce to their classical counterparts.
INFORMATION SCIENCES
(2021)
Article
Computer Science, Artificial Intelligence
Ahmed O. Mekki, Feng Lin, Hao Ying
Summary: This article introduces fuzzy discrete event systems with constraints and investigates their detectabilities. N-detectabilities and fuzzy D-detectabilities are proposed as methods to overcome the complexity of detectability in FDESwC.
IEEE TRANSACTIONS ON FUZZY SYSTEMS
(2022)
Article
Automation & Control Systems
Rihab El Houda Thabet, Sofiane Ahmed Ali, Vicenc Puig
Summary: In this paper, a high-gain interval observer (HGIO) is proposed to handle partially linear continuous-time systems with sampled measured outputs in the presence of bounded noise and additive disturbances. The gain of the HGIO is designed using the Linear Matrix Inequality (LMI) framework and a time-varying change of coordinates. A procedure for designing the HGIO gain to minimize the effect of noise and disturbances is provided. Simulation results validate the effectiveness of the proposed approach.
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE
(2022)
Article
Automation & Control Systems
Lin Cao, Shaolong Shu, Feng Lin, Lei Zhou
Summary: This article investigates the lossless event compression problem of discrete event systems and introduces two compression protocols. Algorithms are proposed to construct an automaton and ensure the recoverability of compressed strings, achieving compression of source strings.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
(2021)
Article
Automation & Control Systems
Shuo Yang, Xiang Yin
Summary: This article investigates the opacity property in partially-observed discrete-event systems, where a passive intruder can infer the system's secret by exploiting the information flow. The article proposes a new class of opacity, called pre-opacity, which characterizes the intruder's ability to predict the visit of secret states in the future. Two specific types of pre-opacity, $K$-step instant pre-opacity and K-step trajectory pre-opacity, are introduced and their necessary and sufficient conditions are provided. The verification of pre-opacity is shown to be exponentially complex and inherently PSPACE-hard. Additionally, the article extends the modeling of the system's secret intention to include the execution of specific event sequences rather than visiting secret states.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
(2023)
Article
Computer Science, Artificial Intelligence
Feng Lin, Hao Ying
Summary: This article investigates the supervisory control of fuzzy discrete event systems (FDES) under partial observation. It presents necessary and sufficient conditions for the existence of a supervisor and develops an online monitoring method. By solving the fuzzy state estimation problem, the safety of the system is ensured, and the developed supervisor is least restrictive among all possible safe supervisors.
IEEE TRANSACTIONS ON FUZZY SYSTEMS
(2023)
Article
Automation & Control Systems
Guanghui Zhu, Lei Feng, Zhiwu Li, Naiqi Wu
Summary: In this article, a fault diagnosis approach for discrete event systems using labeled Petri nets is presented, with the introduction of a new fault class leading to a more informative and precise diagnosis result. An ILP problem is built based on an observed word, and different objective functions can be specified to obtain the diagnosis result without enumerating all possible transition sequences, making it more efficient compared to existing approaches.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
(2021)
Article
Engineering, Electrical & Electronic
Tong Liu, Lei Feng, Wenyao Zhu
Summary: This paper introduces a computationally efficient controller for a student-made parallel hybrid electric racing car, achieving similar fuel efficiency as the explicit dynamic programming method while utilizing less than 1% onboard flash memory. The proposed controller combines dynamic programming and Pontryagin's minimum principle, running on a low-cost microprocessor with limited computational resources to optimize the energy management strategy.
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
(2021)
Article
Engineering, Electrical & Electronic
Junhui Liu, Lei Feng, Zhiwu Li
Summary: This article introduces a new method that considers road conditions, particularly grade angle, as design variables for reducing energy consumption of ground vehicles. By modeling speed trajectories of vehicles on the road as a Markov chain, the optimal road grade profile designed using dynamic programming is shown to save up to 22% energy compared to a flat road for simulated speed trajectories.
IET INTELLIGENT TRANSPORT SYSTEMS
(2021)
Article
Computer Science, Cybernetics
Yang Wang, Lei Feng, Kjell Andersson
Summary: This paper proposes an approach using a position controller for better haptic rendering of a virtual wall, arguing that minimizing penetration into the wall is more important than modeling it as a spring-damper system. The approach utilizes model-based development tools to obtain a linear control system model without the need for an analytical model of the haptic device dynamics, and a simulation-based performance comparison of two controllers is conducted for a 6-DOF parallel structure haptic device.
IEEE TRANSACTIONS ON HAPTICS
(2021)
Article
Education, Scientific Disciplines
Lihong Cheng, Lei Feng, Zhiwu Li
Summary: The paper introduces a new method to solve the supremal quasi-congruence computation problem using binary linear programming, aiming to reduce computational complexity and improve efficiency. The approach tackles the optimal partitioning problem to achieve optimal state-to-coset allocation, aiming to find the coarsest quasi-congruence and use the least number of cosets.
Article
Automation & Control Systems
Qinglei Ji, Mo Chen, Chun Zhao, Xiran Zhang, Xi Vincent Wang, Lihui Wang, Lei Feng
Summary: This article introduces a new method for achieving precise shape control in 4D printing through closed-loop control methods. By using image feedback and a controller to regulate stimulus intensity, precise control over the dynamic shape recovery process of shape memory polymers is achieved.
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS
(2021)
Article
Computer Science, Interdisciplinary Applications
Qinglei Ji, Mo Chen, Xi Vincent Wang, Lihui Wang, Lei Feng
Summary: This study develops an optimal control method using reinforcement learning to achieve closed-loop control of SMP actuation, resulting in more precise and prompt shape morphing compared to previous control methods.
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING
(2022)
Article
Robotics
Kaige Tan, Qinglei Ji, Lei Feng, Martin Torngren
Summary: This study presents a multi-hypothesis extended Kalman filter (MH-EKF) for online estimation of bending angle of 3D printed soft sensor attached to soft actuators, improving measurement accuracy for sensors with hysteresis. The method simplifies the model, enhances real-time performance, identifies hysteresis using multiple polynomial functions, and shows improvements in estimation accuracy compared to baseline methods.
IEEE ROBOTICS AND AUTOMATION LETTERS
(2022)
Article
Computer Science, Interdisciplinary Applications
Jose Manuel Gaspar Sanchez, Nils Jorgensen, Martin Torngren, Rafia Inam, Andrii Berezovskyi, Lei Feng, Elena Fersman, Muhammad Rusyadi Ramli, Kaige Tan
Summary: Edge computing is expected to have significant implications in the future, providing solutions for various applications. However, there are still research gaps and challenges in addressing the trustworthiness attributes of edge-based CPS.
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS
(2022)
Article
Engineering, Electrical & Electronic
Kaige Tan, Lei Feng, Gyorgy Dan, Martin Torngren
Summary: This paper presents a method for utilizing resources on vehicles and roadside units to provide real-time vehicular application services. By decomposing the joint optimization problem into two decoupled subproblems and proposing efficient solutions, the new method achieves a near-optimal solution through decentralized optimizations.
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
(2022)
Article
Computer Science, Interdisciplinary Applications
Qinglei Ji, Shuo Fu, Kaige Tan, Seshagopalan Thorapalli Muralidharan, Karin Lagrelius, David Danelia, Georgios Andrikopoulos, Xi Vincent Wang, Lihui Wang, Lei Feng
Summary: This paper proposes a new design for quadruped robots using soft actuators driven by tendons as the four legs. The advantages of the proposed soft quadruped robot are inherent safety, less weight, and simpler mechanism, but the challenge lies in deriving the accurate mathematical model for control design. The paper makes contributions in modeling the flexible components, optimizing gaits using soft actor-critic methods, and implementing the learned gaits in a real robot.
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING
(2022)
Article
Computer Science, Information Systems
Junjun Yang, Kaige Tan, Lei Feng, Zhiwu Li
Summary: Modular supervisory control may cause conflicts among supervisors in large-scale discrete event systems. Existing methods for nonblocking control either utilize favorable system structures or adopt hierarchical model abstraction methods to reduce computational complexity. This study integrates supervisory control theory with model-based deep reinforcement learning to synthesize a nonblocking coordinator. The proposed method significantly reduces complexity by avoiding synchronization computation and approximating the control function using a deep neural network.
INFORMATION SCIENCES
(2023)
Article
Computer Science, Information Systems
Junjun Yang, Kaige Tan, Lei Feng, Ahmed M. El-Sherbeeny, Zhiwu Li
Summary: Reinforcement learning can obtain supervisory controller for discrete-event systems and address the limitations of large training data requirement and neglecting uncontrollable events by applying supervisory control theory and reducing exploration space. The proposed method achieves a nonblocking supervisor for all specifications with shorter learning time compared to existing methods.
Article
Computer Science, Information Systems
Lihong Cheng, Lei Feng
Summary: Model abstraction is important for reducing the complexity of discrete-event systems (DES) and enhancing their readability. This paper proposes a new approach to compute the supremal quasi-congruence relation using satisfiability (SAT) problem. The SAT method is more efficient and stable compared to other methods like mixed integer linear programming (MILP) and binary linear programming (BLP).
Article
Engineering, Industrial
Lifei Tang, Lei Feng, Toni Axelsson, Martin Toerngren, Dennis Wilkman
Summary: This paper presents a novel methodology for diagnosing tightening errors using production data, utilizing multi-label classification deep learning models. The methodology includes the Labrador method, the Model Combo (MoBo) framework, and a heuristic evaluation method. Experimental evaluation shows the identified solution achieves high accuracy and low inference latency.
JOURNAL OF MANUFACTURING SYSTEMS
(2023)