检索结果-内蒙古大学图书馆

Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2021年第1期8卷 219-226页

作者： Shouguang Wang Wenli Duo Xin Guo Xiaoning Jiang Dan You Kamel Barkaoui MengChu Zhou the School of Information and Electronic Engineering Zhejiang Gongshang UniversityHangzhou 310018China the Macao Institute of Systems Engineering Macao University of Science and TechnologyMacao 999078China the Department of Computer Science Conservatoire National des Arts et MétiersParis 75141France the Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewarkNJ 07102 USA the Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems Macao University of Science and TechnologyMacao 999078China

Deadlock resolution strategies based on siphon control are widely *** computational efficiency largely depends on siphon ***-integer programming(MIP)can be utilized for the computation of an emptiable siphon in a Petri net(PN).Based on it,deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential *** to this reason,various MIP methods are proposed for various subclasses of *** work proposes an innovative MIP method to compute an emptiable minimal siphon(EMS)for a subclass of PNs named S^(4)*** particular,many particular structural characteristics of EMS in S4 PR are formalized as constraints,which greatly reduces the solution *** results show that the proposed MIP method has higher computational ***,the proposed method allows one to determine the liveness of an ordinary S^(4)PR.

关键词： Automated manufacturing systems deadlocks discrete event system mixed-integer programming(MIP) Petri nets(PN) siphons

Sequential fusion estimation for multisensor systems with non-Gaussian noises

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2020年第12期63卷 153-165页

作者： Liping YAN Chenying DI Q.M.Jonathan WU Yuanqing XIA Key Laboratory of Intelligent Control and Decision of Complex Systems School of AutomationBeijing Institute of Technology Department of Electrical and Computer Engineering University of Windsor

The sequential fusion estimation for multisensor systems disturbed by non-Gaussian but heavytailed noises is studied in this paper. Based on multivariate t-distribution and the approximate t-filter,the sequential fusion algorithm is presented. The performance of the proposed algorithm is analyzed and compared with the t-filter-based centralized batch fusion and the Gaussian Kalman filter-based optimal centralized fusion. Theoretical analysis and exhaustive experimental analysis show that the proposed algorithm is effective. As the generalization of the classical Gaussian Kalman filter-based optimal sequential fusion algorithm, the presented algorithm is shown to be superior to the Gaussian Kalman filter-based optimal centralized batch fusion and the optimal sequential fusion in estimation of dynamic systems with non-Gaussian noises.

关键词： state estimation sequential fusion non-Gaussian disturbance heavy-tailed noise multivariate t-distribution

Verifying Nonlinear Neural Feedback systems using Polyhedral Enclosures

学校读者我要写书评

暂无评论

arXiv 2025年

作者： Akinwande, Samuel I. Sidrane, Chelsea Kochenderfer, Mykel J. Barrett, Clark Department of Aeronautical and Astronautical Engineering Stanford University StanfordCA94305 United States Department of Computer Science Stanford University StanfordCA94305 United States Division of Robotics Perception and Learning Intelligent Systems Department School of Electrical Engineering & Computer Science KTH Royal Institute of Technology Stockholm Sweden

As dynamical systems equipped with neural network controllers (neural feedback systems) become increasingly prevalent, it is critical to develop methods to ensure their safe operation. Verifying safety requires extending control theoretic analysis methods to these systems. Although existing techniques can efficiently handle linear neural feedback systems, relatively few scalable methods address the nonlinear case. We propose a novel algorithm for forward reachability analysis of nonlinear neural feedback systems. The approach leverages the structure of the nonlinear transition functions of the systems to compute tight polyhedral enclosures (i.e., abstractions). These enclosures, combined with the neural controller, are then encoded as a mixed-integer linear program (MILP). Optimizing this MILP yields a sound over-approximation of the forward-reachable set. We evaluate our algorithm on representative benchmarks and demonstrate an order of magnitude improvement over the current state of the art. Copyright © 2025, The Authors. All rights reserved.

关键词： Mixed-integer linear programming

Stealthy Attacks on Sampled-Data Control and Encryption-Based Countermeasures

学校读者我要写书评

暂无评论

IEEE Transactions on Automatic Control 2025年

作者： Shang, Jun Li, Yuzhe Chen, Tongwen Tongji University Department of Control Science and Engineering Shanghai Institute of Intelligent Science and Technology National Key Laboratory of Autonomous Intelligent Unmanned Systems Frontiers Science Center for Intelligent Autonomous Systems Shanghai200092 China Northeastern University State Key Laboratory of Synthetical Automation for Process Industries Shenyang110004 China University of Alberta Department of Electrical and Computer Engineering EdmontonABT6G 1H9 Canada

This paper investigates stealthy attacks on sampled-data control systems, where a continuous process is sampled periodically, and the resultant discrete output and control signals are transmitted through dual channels in wireless communication networks. Acknowledging the vulnerability of these transmitted data to cyber threats, we analyze two types of stealthy attacks that compromise either one or both channels. We explicitly present the necessary and sufficient conditions for the existence of stealthy single-channel attacks. To mitigate these security risks, we implement encryption-based countermeasures, including linear time-invariant and periodic encryption methods. We detail sufficient conditions under which these encryption strategies effectively thwart single- and dual-channel stealthy attacks. The effectiveness of these approaches and the theoretical findings are demonstrated through numerical simulations. © 1963-2012 IEEE.

关键词： Cyber attacks

FoundationGrasp: Generalizable Task-Oriented Grasping with Foundation Models

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Tang, Chao Huang, Dehao Dong, Wenlong Xu, Ruinian Zhang, Hong Shenzhen Key Laboratory of Robotics and Computer Vision Southern University of Science and Technology Shenzhen China Department of Electronic and Electrical Engineering Southern University of Science and Technology Shenzhen China Institute for Robotics and Intelligent Machines Georgia Institute of Technology Atlanta United States

Task-oriented grasping (TOG), which refers to synthesizing grasps on an object that are configurationally compatible with the downstream manipulation task, is the first milestone towards tool manipulation. Analogous to the activation of two brain regions responsible for semantic and geometric reasoning during cognitive processes, modeling the intricate relationship between objects, tasks, and grasps necessitates rich semantic and geometric prior knowledge about these elements. Existing methods typically restrict the prior knowledge to a closed-set scope, limiting their generalization to novel objects and tasks out of the training set. To address such a limitation, we propose FoundationGrasp, a foundation model-based TOG framework that leverages the open-ended knowledge from foundation models to learn generalizable TOG skills. Extensive experiments are conducted on the contributed Language and Vision Augmented TaskGrasp (LaViA-TaskGrasp) dataset, demonstrating the superiority of FoundationGrasp over existing methods when generalizing to novel object instances, object classes, and tasks out of the training set. Furthermore, the effectiveness of FoundationGrasp is validated in real-robot grasping and manipulation experiments on a 7-DoF robotic arm. Our code, data, appendix, and video are publicly available at https://***/view/foundationgrasp. Copyright © 2024, The Authors. All rights reserved.

关键词： Robotic arms

Deep Learning-Based Estimation of Arterial Stiffness from PPG Spectrograms: A Novel Approach for Non-Invasive Cardiovascular Diagnostics

学校读者我要写书评

暂无评论

Deep Learning-Based Estimation of Arterial Stiffness from PP...

Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： Kiana Pilevar Abrisham Khalil Alipour Bahram Tarvirdizadeh Mohammad Ghamari Department of Mechatronics Engineering School of Intelligent Systems Engineering College of Interdisciplinary Science and Technology Advanced Service Robots (ASR) Laboratory University of Tehran Tehran Iran Department of Electrical and Computer Engineering Kettering University Flint Michigan USA

ISBN: (数字)9798350371499

ISBN: (纸本)9798350371505

Cardiovascular diseases (CVDs), a leading cause of global mortality, are intricately linked to arterial stiffness, a key factor in cardiovascular health. Non-invasive assessment of arterial stiffness, particularly through Carotid-to-femoral Pulse Wave Velocity (cf-PWV) – the gold standard in this field – is vital for early detection and management of CVDs. This study introduces a novel approach, utilizing photoplethysmogram (PPG) signal spectrograms as inputs for deep learning models to estimate cf-PWV, a significant advancement over traditional methods. Employing a modified ResNet-18 architecture, we analyze PPG signals from digital, radial, and brachial arteries of a simulated dataset of 4374 healthy adults. Our methodology's innovation lies in its direct use of finely tuned spectrogram images, bypassing the complex feature extraction processes. This approach achieved R 2 (correlation coefficient) values of up to 0.9902 for the digital artery, 0.9898 for the radial artery, and 0.9825 for the brachial artery, coupled with significantly lower Mean Absolute Percentage Errors (MAPE) of approximately 1.61% for the digital, 1.87% for the radial, and 2.08% for the brachial artery. These findings highlight the efficacy of PPG spectrograms, especially from the digital artery, in providing an accurate, user-friendly, and non-invasive method for cf-PWV estimation, thereby enhancing the capabilities of non-invasive cardiovascular diagnostics.

关键词： Accuracy Noise Estimation Predictive models Feature extraction Brachytherapy Data models Arteries Spectrogram Monitoring

Continuous-Time Ultra-Wideband-Inertial Fusion

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Li, Kailai Cao, Ziyu Hanebeck, Uwe D. The Division of Automatic Control Department of Electrical Engineering Linköping University Sweden The Intelligent Sensor-Actuator-Systems Laboratory Institute for Anthropomatics and Robotics Karlsruhe Institute of Technology Germany

We introduce a novel framework of continuous-time ultra-wideband-inertial sensor fusion for online motion estimation. Quaternion-based cubic cumulative B-splines are exploited for parameterizing motion states continuously over time. Systematic derivations of analytic kinematic interpolations and spatial differentiations are further provided. Based thereon, a new sliding-window spline fitting scheme is established for asynchronous multi-sensor fusion and online calibration. We conduct a dedicated validation of the quaternion spline fitting method, and evaluate the proposed system, SFUISE (spline fusion-based ultra-wideband-inertial state estimation), in real-world scenarios using public data set and experiments. The proposed sensor fusion system is real-time capable and delivers superior performance over state-of-the-art discrete-time schemes. We release the source code and own experimental data at https://***/KIT-ISAS/SFUISE . Copyright © 2023, The Authors. All rights reserved.

关键词： Motion estimation

Mathematical Modelling of a Four-Fingered Metamorphic Anthropomorphic Hand on Precision Grasp

学校读者我要写书评

暂无评论

Mathematical Modelling of a Four-Fingered Metamorphic Anthro...

ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots, ReMAR

作者： Tun Wang Yen-Hua Lin Jian S. Dai Department of Mechanical and Electrical Engineering Centre of Advanced Oil and Gas Equipment China University of Petroleum (Beijing) Beijing China Department of Engineering Centre for Robotics Research King's College London London UK Department of Mechanical and Energy Engineering Shenzhen Key Laboratory of Biomimetic Robotics and Intelligent Systems Southern University of Science and Technology Shenzhen China

ISBN: (数字)9798350395969

ISBN: (纸本)9798350395976

For a metamorphic robotic hand with a foldable palm, its finger operation planes change with palm configurations. Although this reconfigurable design can enhance the grasp flexibility, manipulation workspace and application adaptability, the hand's grasp stability cannot be guaranteed when the palm reconfigures. Especially for the four-fingered metamorphic hand performing precision grasps in anthropomorphic postures, improper control of the palm configurations can result in unsuccessful grasps, which may even lead to hand damage. This paper first displays the workspace of the four-fingered anthropomorphic hand for generating precision grasp gestures. Based on it, force-closure/-balance analyses are performed, deriving the effective precision grasp workspace for typical anthropomorphic postures classified by built mathematical definition. Grasp levels are further discussed by introducing an evaluation method which considers the minimum friction coefficient (MFC) as the quality metric. The proposed scheme gives a way to depict the grasp performance of every robotic hand configuration, without considering specific objects that are to be grasped. Dynamic changes in postures' grasp performance with palm configurations are exhibited in the end.

关键词： Measurement Friction Mathematical models Stability analysis Robots Petroleum

Hidden Convexity-Based Distributed Operation of Integrated Electricity-Gas systems

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Liu, Rong-Peng Song, Yue Liu, Junhong Wang, Xiaozhe Guo, Jinpeng Hou, Yunhe The Department of Electrical and Computer Engineering McGill University MontrealQCH3A 0E9 Canada The State Key Laboratory of Intelligent Autonomous Systems Frontiers Science Center for Intelligent Autonomous Systems Tongji University Shanghai China The Department of Electrical and Electronic Engineering The University of Hong Kong Hong Kong The Department of Energy and Electrical Engineering Ho-Hai University Jiangsu Nanjing China

This letter proposes a hidden convexity-based method to address distributed optimal energy flow (OEF) problems for transmission-level integrated electricity-gas systems. First, we develop a node-wise decoupling method to decompose an OEF problem into multiple OEF subproblems. Then, we propose a hidden convexity-based method to equivalently reformulate nonconvex OEF subproblems as semi-definite programs. This method differs from any approximation and convexification methods that may incur infeasible solutions. Since all OEF subproblems are originally convex or equivalently convexified, we adopt an ADMM to solve the hidden convexity-based distributed OEF problem with convergence analysis. Test results validate the effectiveness of the proposed method, especially in handling a large number of agents. Copyright © 2024, The Authors. All rights reserved.

关键词： Quadratic programming