Pub Date : 2024-09-30DOI: 10.1109/TSMC.2024.3462469
Lien-Wu Chen;Chih-Cheng Tsao
In this article, we propose a time-dependent lane-level navigation (TDLN) framework with spatiotemporal mobility modeling based on the Internet of Vehicles (IoV). The proposed TDLN framework can provide drivers with the fastest navigation path that can avoid passing congestion areas and predict vehicle spatiotemporal mobility of future traffic flows by estimating the travel time of road segments and the waiting time of intersections. According to our review of relevant research, TDLN is the first lane-level navigation solution that can provide the following features: 1) it can navigate vehicles in a lane-level manner and classify the queuing state of each vehicle as passing through an intersection; 2) it can estimate the driving time of lanes and the stopping time of intersections in different lanes to calculate the total delay time of passing through each lane and intersection; and 3) it can predict future traffic flows to determine the congestion level of each lane and explore predicted flow conditions on the road network to achieve the fastest navigation path planning. Simulation results show that TDLN outperforms existing methods and can plan the lane-level navigation path with the shortest travel time.
{"title":"Time-Dependent Lane-Level Navigation With Spatiotemporal Mobility Modeling Based on the Internet of Vehicles","authors":"Lien-Wu Chen;Chih-Cheng Tsao","doi":"10.1109/TSMC.2024.3462469","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3462469","url":null,"abstract":"In this article, we propose a time-dependent lane-level navigation (TDLN) framework with spatiotemporal mobility modeling based on the Internet of Vehicles (IoV). The proposed TDLN framework can provide drivers with the fastest navigation path that can avoid passing congestion areas and predict vehicle spatiotemporal mobility of future traffic flows by estimating the travel time of road segments and the waiting time of intersections. According to our review of relevant research, TDLN is the first lane-level navigation solution that can provide the following features: 1) it can navigate vehicles in a lane-level manner and classify the queuing state of each vehicle as passing through an intersection; 2) it can estimate the driving time of lanes and the stopping time of intersections in different lanes to calculate the total delay time of passing through each lane and intersection; and 3) it can predict future traffic flows to determine the congestion level of each lane and explore predicted flow conditions on the road network to achieve the fastest navigation path planning. Simulation results show that TDLN outperforms existing methods and can plan the lane-level navigation path with the shortest travel time.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"54 12","pages":"7721-7732"},"PeriodicalIF":8.6,"publicationDate":"2024-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142672072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-27DOI: 10.1109/TSMC.2024.3460749
Xiaowei Yu;Xiaoli Li
In this article, a global output feedback control scheme is developed for a class of uncertain nonlinear systems subject to input quantization and unknown output function. By employing a time-varying gain and a time-invariant gain, we address the challenges posed by quantization errors and nonlinear functions with an unknown linear growth rate. Additionally, we determine an allowable measurement sensitivity error by solving a straightforward inequality. We demonstrate that the proposed scheme ensures global asymptotic stability for the system and guarantees that all signals of the closed-loop system remain bounded. Finally, we validate the proposed approach through a mathematical example and an experiment conducted on the QUBE-Servo 2 equipped with an inertial disc module.
{"title":"Global Asymptotic Stabilization Control for Uncertain Nonlinear Systems With Input Quantization and Unknown Output Function","authors":"Xiaowei Yu;Xiaoli Li","doi":"10.1109/TSMC.2024.3460749","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3460749","url":null,"abstract":"In this article, a global output feedback control scheme is developed for a class of uncertain nonlinear systems subject to input quantization and unknown output function. By employing a time-varying gain and a time-invariant gain, we address the challenges posed by quantization errors and nonlinear functions with an unknown linear growth rate. Additionally, we determine an allowable measurement sensitivity error by solving a straightforward inequality. We demonstrate that the proposed scheme ensures global asymptotic stability for the system and guarantees that all signals of the closed-loop system remain bounded. Finally, we validate the proposed approach through a mathematical example and an experiment conducted on the QUBE-Servo 2 equipped with an inertial disc module.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"54 12","pages":"7528-7533"},"PeriodicalIF":8.6,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142672074","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-27DOI: 10.1109/TSMC.2024.3458939
Benyuan Yang;Hesuan Hu
There are two foundational problems in automated manufacturing systems. One is to determine their robustness (i.e., checking whether a marking is robust or nonrobust) while the other is to determine their liveness (i.e., determining whether a marking is live, bad, deadlock, or livelock). However, existing methods deal with them separately. This renders the existing methods inefficient in practice. In this article, we investigate the relation between robustness and liveness. First, we show how to define robustness in different net systems, i.e., the live, bounded, and nonreversible or reversible net systems. Second, we present a reachability graph-based method to assess the robustness of markings. Third, we clarify the relation between robustness and liveness, and conclude that liveness is a special case of robustness, under which the set of unreliable transitions is null. As a result, the robustness determination method developed in this article proves to be much general and can be used to check the liveness of each marking.
{"title":"On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems","authors":"Benyuan Yang;Hesuan Hu","doi":"10.1109/TSMC.2024.3458939","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3458939","url":null,"abstract":"There are two foundational problems in automated manufacturing systems. One is to determine their robustness (i.e., checking whether a marking is robust or nonrobust) while the other is to determine their liveness (i.e., determining whether a marking is live, bad, deadlock, or livelock). However, existing methods deal with them separately. This renders the existing methods inefficient in practice. In this article, we investigate the relation between robustness and liveness. First, we show how to define robustness in different net systems, i.e., the live, bounded, and nonreversible or reversible net systems. Second, we present a reachability graph-based method to assess the robustness of markings. Third, we clarify the relation between robustness and liveness, and conclude that liveness is a special case of robustness, under which the set of unreliable transitions is null. As a result, the robustness determination method developed in this article proves to be much general and can be used to check the liveness of each marking.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"54 12","pages":"7495-7507"},"PeriodicalIF":8.6,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142672075","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-26DOI: 10.1109/TSMC.2024.3454541
Cyrus Hasanvand;Hamid Hasanvand;Hamidreza Momeni
Online intelligent knowledge extraction from real-world nonstationary data streams presents a multiobjective optimization challenge. Here, we characterize the learning process on a trajectory of global optimality to simultaneously satisfy six high-profile objectives: 1) optimum generalization for the best bias-variance tradeoff; 2) compactness of knowledgebase; 3) memory retention and stability-plasticity balance; 4) universality and full autonomy; 5) robustness against outliers, noise, and model uncertainty; and 6) active concept drift detection and adaptation. We propose a flexible Takagi-Sugeno (TS) fuzzy system, named UFAREX, that self-constructs and self-guards from scratch in a non-iterative sample-wise training scheme without storing data. Through quantification of various uncertainties, an adaptive prediction interval (API) is sequentially learned for each local dynamism to automatically capture the most accurate compact representation with a 95% confidence. This leads to the best linear unbiased estimation (BLUE) of local trends. To avoid catastrophic forgetting, API collaborates with trapezoidal membership functions (TMFs) to expand local boundaries with maximum plasticity and without distortive extrapolation. As a robust detection mechanism, API also pinpoints regions in conflict (RIC) where concept drifts and outliers are actively expressed w.r.t. time of occurrence, location, type, and severity. This establishes a single-sample online active concept drift management with zero buffer latency for regression applications. No heuristic forgetting, pruning, splitting, merging, and weighting mechanisms are exercised to prevent human intervention and render universality. UFAREX was comparatively tested on four real-world benchmarks. It stands out as an autonomous system geared for adaptive modeling, time-series forecasting, anomaly monitoring, and robust fault detection and diagnosis.
{"title":"UFAREX: A Universal Fully Autonomous Robust Expansionist Fuzzy System for Optimal Online Learning From Nonstationary Data Streams","authors":"Cyrus Hasanvand;Hamid Hasanvand;Hamidreza Momeni","doi":"10.1109/TSMC.2024.3454541","DOIUrl":"https://doi.org/10.1109/TSMC.2024.3454541","url":null,"abstract":"Online intelligent knowledge extraction from real-world nonstationary data streams presents a multiobjective optimization challenge. Here, we characterize the learning process on a trajectory of global optimality to simultaneously satisfy six high-profile objectives: 1) optimum generalization for the best bias-variance tradeoff; 2) compactness of knowledgebase; 3) memory retention and stability-plasticity balance; 4) universality and full autonomy; 5) robustness against outliers, noise, and model uncertainty; and 6) active concept drift detection and adaptation. We propose a flexible Takagi-Sugeno (TS) fuzzy system, named UFAREX, that self-constructs and self-guards from scratch in a non-iterative sample-wise training scheme without storing data. Through quantification of various uncertainties, an adaptive prediction interval (API) is sequentially learned for each local dynamism to automatically capture the most accurate compact representation with a 95% confidence. This leads to the best linear unbiased estimation (BLUE) of local trends. To avoid catastrophic forgetting, API collaborates with trapezoidal membership functions (TMFs) to expand local boundaries with maximum plasticity and without distortive extrapolation. As a robust detection mechanism, API also pinpoints regions in conflict (RIC) where concept drifts and outliers are actively expressed w.r.t. time of occurrence, location, type, and severity. This establishes a single-sample online active concept drift management with zero buffer latency for regression applications. No heuristic forgetting, pruning, splitting, merging, and weighting mechanisms are exercised to prevent human intervention and render universality. UFAREX was comparatively tested on four real-world benchmarks. It stands out as an autonomous system geared for adaptive modeling, time-series forecasting, anomaly monitoring, and robust fault detection and diagnosis.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":"54 12","pages":"7419-7433"},"PeriodicalIF":8.6,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142672150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-26DOI: 10.1109/TSMC.2024.3453549
Feng Li;Yaokai Hu;Huisheng Zhang;Ansheng Deng;Jacek M. Zurada
Group regularization is commonly employed in network pruning to achieve structured model compression. However, the rationale behind existing studies on group regularization predominantly hinges on the sparsity capabilities of $L_{p}$