检索结果-南通市图书馆

State-Based Opacity Verification of Networked Discrete Event systems Using Labeled Petri Nets

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第5期11卷 1274-1291页

作者： Yifan Dong Naiqi Wu Zhiwu Li The authors are with the Institute of systems Engineering Macao University of Science and TechnologyTaipa 999078MacaoChina

The opaque property plays an important role in the operation of a security-critical system,implying that pre-defined secret information of the system is not able to be inferred through partially observing its *** paper addresses the verification of current-state,initial-state,infinite-step,and K-step opacity of networked discrete event systems modeled by labeled Petri nets,where communication losses and delays are *** on the symbolic technique for the representation of states in Petri nets,an observer and an estimator are designed for the verification of current-state and initial-state opacity,***,we propose a structure called an I-observer that is combined with secret states to verify whether a networked discrete event system is infinite-step opaque or K-step *** to the utilization of symbolic approaches for the state-based opacity verification,the computation of the reachability graphs of labeled Petri nets is avoided,which dramatically reduces the computational overheads stemming from networked discrete event systems.

关键词： infinite system symbolic

systems science in the new era: intelligent systems and big data

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第3期67卷 308-310页

作者： Wenwu YU Duxin CHEN Hongzhe LIU He WANG Jinde CAO Zengru DI Xiaojun DUAN Bin JIA Xiaodong DING Yiguang HONG School of Mathematics Southeast University Purple Mountain Laboratories International Academic Center of Complex systems Beijing Normal University College of Science National University of Defense Technology School of systems Science Beijing Jiaotong University Business School University of Shanghai for Science and Technology Department of Control Science and Engineering Tongji University

This study introduces the emergence, research challenges,and future development of intelligent systems and big data(ISBD) and discusses the significance of ISBD to systems science. To this end, an overview of systems science is first presented, followed by the conclusion that the development of artificial intelligence(AI) has promoted the derivation and development of intelligent systems(ISs).

关键词：

Finite-time bearing-only formation of first-order multi-agent systems under pinning control

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第5期67卷 331-332页

作者： Chenjun LIU Wei ZHU Fenglan SUN Key Laboratory of Intelligent Analysis and Decision on Complex systems Chongqing University of Posts and Telecommunications

Formation control of multi-agent systems(MASs) has been applied in various fields, such as autonomous navigation and target encirclement, due to its ability to facilitate coordination and achieve the desired formation or space configuration. Bearing-based formation control offers greater practicality than position-based or distance-based approaches since bearing information is inexpensive and simple to acquire, such as utilizing optical cameras.

关键词： Multi agent systems

Whittle’s Index Based Sensor Scheduling for Multiprocess systems Under DoS Attacks

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of systems Science & Complexity 2024年第1期37卷 329-350页

作者： CAI Zai DING Kemi Shenzhen Key Laboratory of Control Theory and Intelligent systems Southern University of Science and TechnologyShenzhen 518055China.

In this paper,the authors consider how to design defensive countermeasures against DoS attacks for remote state estimation of multiprocess *** each system,a sensor will measure its state and transmits the data packets through an unreliable channel which is vulnerable to be jammed by an *** limited communication bandwidth,only a subset of sensors are allowed for data transmission,and how to select the optimal one to maximize the accuracy of remote state estimation is the focus of the proposed *** authors first formulate this problem as a Markov decision process and investigate the existence of optimal ***,the authors demonstrate the piecewise monotonicity structure of optimal *** the difficulty of obtaining an optimal policy of large-scale problems,the authors develop a suboptimal heuristic policy based on the aforementioned policy structure and Whittle’s ***,a closed form of the indices is derived in order to reduce implementation complexity of proposed scheduling policy and numerical examples are provided to illustrate the proposed developed results.

关键词： DoS attacks Kalman filter remote state estimation Whittle’s index.

Distributed order estimation for continuous-time stochastic systems

在线全文

学校读者我要写书评

暂无评论

Control Theory and Technology 2024年第3期22卷 406-418页

作者： Xinghua Zhu Zhixin Liu Xiaoming Hu Key Laboratory of systems and Control Academy of Mathematics and Systems ScienceBeijing 100190China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100190China Department of Mathematics KTH Royal Institute of TechnologyStockholm 10044Sweden

In this paper,we investigate the distributed estimation problem of continuous-time stochastic dynamic systems over sensor networks when both the system order and parameters are *** propose a local information criterion(LIC)based on the L_(0)penalty *** minimizing LIC at the diffusion time instant and utilizing the continuous-time diffusion least squares algorithm,we obtain a distributed estimation algorithm to simultaneously estimate the unknown order and the parameters of the *** dealing with the effect of the system noises and the coupling relationship between estimation of system orders and parameters,we establish the almost sure convergence results of the proposed distributed estimation ***,we give a simulation example to verify the effectiveness of the distributed algorithm in estimating the system order and parameters.

关键词： Stochastic differential equations Sensor networks Distributed order estimation Cooperative excitation condition.Convergence

Designing novel adaptive dynamic event-triggered protocols for uncertain multi-agent systems

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第1期67卷 310-311页

作者： Bin CHENG Bin HE College of Electronics and Information Engineering Tongji University Frontiers Science Center for Intelligent Autonomous systems

Multi-agent systems (MASs) have garnered widespread attention and have been investigated by numerous researchers in recent years, primarily due to their broad applications in industry, transportation, agriculture, and astronomy. While studying the cooperative control of MASs, numerous researchers place emphasis on reducing the frequency of communication among neighboring agents.

关键词： Directed graphs

Resilience-driven cooperative reconfiguration strategy for unmanned weapon system-of-systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of systems Engineering and Electronics 2024年第4期35卷 932-944页

作者： SUN Qin LI Hongxu ZENG Yifan ZHANG Yingchao School of systems Science and Engineering Sun Yat-sen UniversityGuangzhou 510006China

As the unmanned weap system-of systems(UWSoS)becomes complex,the inevitable uncertain interference gradu-ally increases,which leads to a strong emphasis on the resilience of ***,this paper presents a resilience-driven cooperative reconfiguration strategy to enhance the resilience of ***,a unified resilience-driven coopera-tive reconfiguration strategy framework is designed to guide the UWSoS resilience ***,a cooperative reconfiguration strategy algorithm is proposed to identify the optimal cooperative reconfiguration sequence,combining the cooperative pair resilience contribution index(CPRCI)and coop-erative pair importance index(CPII).At last,the effectiveness and superiority of the proposed algorithm are demonstrated through various attack scenario simulations that include differ-ent attack modes and *** analysis results can pro-vide a reference for decision-makers to manage UWSoS.

关键词： resilience strategy unmanned weapon system-of-systems(UWSoS) cooperative reconfiguration unmanned con-frontation

Phase Behaviour and Physical Properties of Alkane Solvent（s）/CO2/N2/DME/Water/Heavy Oil systems under Reservoir Conditions

在线全文

学校读者我要写书评

暂无评论

油气地质与采收率 2024年第2期 175-208页

作者： YANG Daoyong LI Yunlong HUANG Desheng Energy systems Engineering Faculty of Engineering and Applied Science University of Regina

The hybrid steam-solvent injection has been considered as a promising technique for enhancing heavy oil/bitumen recov‐ery,while its main mechanisms including the heat transferred and dissolution of solvents (e.g.,CH4,C2H6,C3H8,C4H10,CO2,N2,and DME) into heavy oil/bitumen to reduce its viscosity and swell it are closely related to the phase behaviour of the solvents/water/heavy oil *** allow the seamless integration with the existing reservoir simulators,the traditional cubic equations of state （i.e.,SRK EOS and PR EOS） have been modified and improved to accurately quantify the phase behaviour and physical prop‐erties of the aforementioned systems under equilibrium and nonequilibrium ***,a huge database has been built to de‐velop the corresponding alpha functions by minimizing the deviation between the measured and calculated vapour pressures for wa‐ter as well as non-hydrocarbon and hydrocarbon compounds available from the public *** obtained alpha functions are fur‐ther validated with enthalpy of vaporization for pure substances,and then the reduced temperature has been optimized and the ec‐centric factor has been ***,a pressure-implicit strategy has been developed to optimize the binary interaction param‐eters （BIPs） by treating heavy oil as one pseudocomponent （PC） or multiple ***,the contributions of each solvent to the aforementioned systems have been compared and analyzed within a consistent and unified *** addition to new alpha func‐tions for hydrocarbons and water,respectively,the reduced temperature is found to have its optimum value of 0.59 for the two equa‐tions of state （EOSs）,while 0.60 is recommended for practical *** improved EOSs have been further employed to reproduce the experimentally measured multiphase boundaries （or pseudo-bubble-point pressures）,density,viscosity,（mutual） solubility,and preferential mass transfer for the aforementioned mixtures under equilibrium and nonequilibrium

关键词：

The First Five Years of a Phase Theory for Complex systems and Networks

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2024年第8期11卷 1728-1743页

作者： Dan Wang Wei Chen Li Qiu Division of Decision and Control systems KTH Royal Institute of TechnologyStockholm 10044Sweden Department of Mechanics and Engineering Science&the State Key Laboratory for Turbulence and Complex systems Peking UniversityBeijing 100871China Hong Kong University of Science and Technology Hong KongChinaand also with the Southern University of Science and TechnologyShenzhen 518055China

In this paper,we review the development of a phase theory for systems and networks in its first five years,represented by a trilogy:Matrix phases and their properties;The MIMO LTI system phase response,its physical interpretations,the small phase theorem,and the sectored real lemma;The synchronization of a multi-agent network using phase *** the end,we also summarize a list of ongoing research on the phase theory and speculate what will happen in the next five years.

关键词： Consensus and synchronization matrix phases multi-agent systems phase theory sectored real lemma small phase theorem.