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

State-Based control of Timed Discrete-Event Systems 57

学校读者我要写书评

暂无评论

State-Based Control of Timed Discrete-Event Systems

57th IEEE Conference on Decision and control, CDC 2018

作者： Rahnamoon, Sadegh Murray Wonham, W. Electrical and Computer Engineering Department Systems Control Group University of Toronto Canada

ISBN: (纸本)9781538613955

The problem of supervisor synthesis for discrete-event systems (DES) has been proven to be NP-hard. Nevertheless, state tree structures (STS) have turned out to be a computationally efficient framework to design supervisors for very large-scale systems. But this framework relies on a state-based control theory. To expand STS to timed systems, known as timed discrete-event systems (TDES), a state-based control theory for TDES is required. In this paper, such a theory will be introduced and it will be proven that this approach is indeed equivalent to the existing language-based control theory for TDES. © 2018 IEEE.

关键词： Supervisory personnel

Stable and Efficient Structures in Multigroup Network Formation

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Mohagheghi, Shadi Ma, Jingying Bullo, Francesco Department of Electrical and Computer Engineering Center for Control Dynamical Systems and Computation University of California at Santa Barbara Santa BarbaraCA93106-9560 United States School of Mathematics and Statistics Ningxia University Yinchuan750021 China

In this work we present a strategic network formation model predicting the emergence of multigroup structures. Individuals decide to form or remove links based on the benefits and costs those connections carry;we focus on bilateral consent for link formation. An exogenous system specifies the frequency of coordination issues arising among the groups. We are interested in structures that arise to resolve coordination issues and, specifically, structures in which groups are linked through bridging, redundant, and co-membership interconnections. We characterize the conditions under which certain structures are stable and study their efficiency as well as the convergence of formation dynamics. Copyright © 2020, The Authors. All rights reserved.

关键词： Game theory

Creating complex network services with eBPF: Experience and lessons learned 19

学校读者我要写书评

暂无评论

Creating complex network services with eBPF: Experience and ...

19th IEEE International Conference on High Performance Switching and Routing, HPSR 2018

作者： Miano, Sebastiano Bertrone, Matteo Risso, Fulvio Tumolo, Massimo Bernal, Mauricio Vasquez Politecnico di Torino Department of Computer and Control Engineering Torino10129 Italy

ISBN: (纸本)9781538678015

The extended Berkeley Packet Filter (eBPF) is a recent technology available in the Linux kernel that enables flexible data processing. However, so far the eBPF was mainly used for monitoring tasks such as memory, CPU, page faults, traffic, and more, with a few examples of traditional network services, e.g., that modify the data in transit. In fact, the creation of complex network functions that go beyond simple proof-of-concept data plane applications has proven to be challenging due to the several limitations of this technology, but at the same time very promising due to some characteristics (e.g., dynamic recompilation of the source code) that are not available elsewhere. Based on our experience, this paper presents the most promising characteristics of this technology and the main encountered limitations, and we envision some solutions that can mitigate the latter. We also summarize the most important lessons learned while exploiting eBPF to create complex network functions and, finally, we provide a quantitative characterization of the most significant aspects of this technology. © 2018 IEEE.

关键词： Complex networks

Robust Policy Iteration for Continuous-time Linear Quadratic Regulation

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Pang, Bo Bian, Tao Jiang, Zhong-Ping Control and Networks Lab Department of Electrical and Computer Engineering Tandon School of Engineering New York University 370 Jay Street BrooklynNY11201 United States Bank of America Merrill Lynch One Bryant Park New YorkNY10036 United States

This paper studies the robustness of policy iteration in the context of continuous-time infinite-horizon linear quadratic regulation (LQR) problem. It is shown that Kleinman’s policy iteration algorithm is inherently robust to small disturbances and enjoys local input-to-state stability in the sense of Sontag. More precisely, whenever the disturbance-induced input term in each iteration is bounded and small, the solutions of the policy iteration algorithm are also bounded and enter a small neighborhood of the optimal solution of the LQR problem. Based on this result, an off-policy data-driven policy iteration algorithm for the LQR problem is shown to be robust when the system dynamics are subjected to small additive unknown bounded disturbances. The theoretical results are validated by a numerical example. Copyright © 2020, The Authors. All rights reserved.

关键词： Continuous time systems

GZMK^high CD8⁺ T effector memory cells are associated with CD15^high neutrophil abundance in non-metastatic colorectal tumors and predict poor clinical outcome (vol 13, 6752, 2022)

学校读者我要写书评

暂无评论

NATURE COMMUNICATIONS 2022年第1期13卷 1-20页

作者： Tiberti, Silvia Catozzi, Carlotta Croci, Ottavio Ballerini, Mattia Cagnina, Danilo Soriani, Chiara Scirgolea, Caterina Gong, Zheng He, Jiatai Macandog, Angeli D. Nabinejad, Amir Lauson, Carina B. Nava Quinte, Arianna Bertalot, Giovanni Petz, Wanda L. Ravenda, Simona P. Licursi, Valerio Paci, Paola Rasponi, Marco Rotta, Luca Fazio, Nicola Ren, Guangwen Fumagalli-Romario, Uberto Schaefer, Martin H. Campaner, Stefano Lugli, Enrico Nezi, Luigi Manzo, Teresa Department of Experimental Oncology European Institute of Oncology- IRCCS Milano Italy Center for Genomic Science of IIT CGS@SEMM (Istituto Italiano di Tecnologia at European School of Molecular Medicine) Fondazione Istituto Italiano di Tecnologia (IIT) Milano Italy Laboratory of Translational Immunology IRCCS- Humanitas Research Hospital- Milan Italy The Jackson Laboratory Bar Harbor ME USA Department of Molecular & Biomedical Sciences University of Maine Orono ME 04469 USA Department of Pathology APSS Trento Hospital & Health Care Trento Italy Digestive Surgery Division European Institute of Oncology-IRCCS Milan Italy Division of Gastrointestinal Medical Oncology and Neuroendocrine Tumors European Institute of Oncology-IRCCS Milan Italy Institute of Molecular Biology and Pathology (IBPM) National Research Council (CNR) of Italy Rome Italy Department of Computer Control and Management Engineering Sapienza - University of Rome Rome Italy Department of Electronics Information and Bioengineering Politecnico di Milano Milan Italy

CD8+T cells are a major prognostic determinant in solid tumors, including colorectal cancer (CRC). However, understanding how the interplay between different immune cells impacts on clinical outcome is still in its infancy. Here, we describe that the interaction of tumor infiltrating neutrophils expressing high levels of CD15 with CD8+T effector memory cells (TEM) correlates with tumor progression. Mechanistically, stromal cell-derived factor-1 (CXCL12/SDF-1) promotes the retention of neutrophils within tumors, increasing the crosstalk with CD8+T cells. As a consequence of the contact-mediated interaction with neutrophils, CD8+T cells are skewed to produce high levels of GZMK, which in turn decreases E-cadherin on the intestinal epithelium and favors tumor progression. Overall, our results highlight the emergence of GZMKhighCD8+TEMin non-metastatic CRC tumors as a hallmark driven by the interaction with neutrophils, which could implement current patient stratification and be targeted by novel therapeutics.

关键词：

Observation of quantum strong Mpemba effect

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Zhang, Jie Xia, Gang Wu, Chun-Wang Chen, Ting Zhang, Qian Xie, Yi Su, Wen-Bo Wu, Wei Qiu, Cheng-Wei Chen, Ping-Xing Li, Weibin Jing, Hui Zhou, Yan-Li Institute for Quantum Science and Technology College of Science National University of Defense Technology Changsha410073 China Hunan Key Laboratory of Mechanism and technology of Quantum Information Changsha410073 China Hefei National Laboratory Anhui Hefei230088 China Key Laboratory of Low-Dimensional Quantum Structures and Quantum Control of Ministry of Education Hunan Normal University Changsha410081 China Department of Electrical and Computer Engineering National University of Singapore Singapore Singapore School of Physics and Astronomy University of Nottingham NottinghamNG7 2RD United Kingdom Centre for the Mathematics and Theoretical Physics of Quantum Non-equilibrium Systems University of Nottingham NottinghamNG7 2RD United Kingdom College of Science National University of Defense Technology Changsha410073 China

An ancient and counterintuitive phenomenon known as the Mpemba effect showcases the critical role of initial conditions in relaxation processes. How to realize and utilize this effect for speeding up relaxation is an important but challenging task in purely quantum system till now. Here, we experimentally study the strong Mpemba effect in a single trapped ion system in which an exponentially accelerated relaxation in time is observed by preparing an optimal quantum initial state with no excitation of the slowest decaying mode. Also, we demonstrate that the condition of realizing such effect coincides with the Liouvillian exceptional point, featuring the coalescence of both the eigenvalues and the eigenmodes of the systems. Our work provides an efficient strategy to engineer the dynamics of open quantum system, and suggests a link unexplored yet between the Mpemba effect and the non-Hermitian physics. Copyright © 2024, The Authors. All rights reserved.

关键词： Trapped ions

Distributed Learning Model Predictive control for Linear Systems*

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Stürz, Yvonne R. Zhu, Edward L. Rosolia, Ugo Johansson, Karl H. Borrelli, Francesco Model Predictive Control Laboratory University of California BerkeleyCA94709 United States Department of Mechanical and Civil Engineering California Institute of Technology PasadenaCA91125 United States School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden

This paper presents a distributed learning model predictive control (DLMPC) scheme for distributed linear time invariant systems with coupled dynamics and state constraints. The proposed solution method is based on an online distributed optimization scheme with nearest-neighbor communication. If the control task is iterative and data from previous feasible iterations are available, local data are exploited by the subsystems in order to construct the local terminal set and terminal cost, which guarantee recursive feasibility and asymptotic stability, as well as performance improvement over iterations. In case a first feasible trajectory is difficult to obtain, or the task is non-iterative, we further propose an algorithm that efficiently explores the state-space and generates the data required for the construction of the terminal cost and terminal constraint in the MPC problem in a safe and distributed way. In contrast to other distributed MPC schemes which use structured positive invariant sets, the proposed approach involves a control invariant set as the terminal set, on which we do not impose any distributed structure. The proposed iterative scheme converges to the global optimal solution of the underlying infinite horizon optimal control problem under mild conditions. Numerical experiments demonstrate the effectiveness of the proposed DLMPC scheme. Copyright © 2020, The Authors. All rights reserved.

关键词： Model predictive control

Path Planning and controlling of Omni-Directional Robot Using Cartesian Odometry and PID Algorithm

学校读者我要写书评

暂无评论

Path Planning and Controlling of Omni-Directional Robot Usin...

International Conference on Computing, Power and Communication Technologies (GUCON)

作者： Tejas Chaudhari Mayank Jha Rohit Bangal Ganesh Chincholkar Department of Instrumentation and Control Engineering Govt. College of Engineering and Research Pune India Department of Computer Engineering Govt. College of Engineering and Research Pune India

ISBN: (纸本)9781728100173

Omni direction is the concept of existence of motion in every direction. Here, we have controlled the resulting vectors of individual wheels of a three wheel omni robot that are ultimately responsible for a stabilized motion of the robot in any direction. This phenomenon is termed as 'Holonomic Drive' and it provides higher efficiency and controllability to non-holonomic drives, when used with odometry and PID algorithms. Odometry basically is method of acquiring the real time positional data of a system in a world frame and using it for path planning. PID algorithm when applied on any system reduces the transient response and helps to attend steady state conditions with less settling time. Here, we have successfully designed and implemented the algorithms for path planning with the help of quadrature encoders and heading control of three wheel omni robot using PID, implemented on IMU(Inertial Measurement Unit).

关键词： Wheels Mobile robots Mathematical model Robot kinematics Robot sensing systems Path planning

A PD-Type Iterative Learning Algorithm for Networked control Systems with Missing Data

学校读者我要写书评

暂无评论

A PD-Type Iterative Learning Algorithm for Networked Control...

作者： Xiaoyan Cheng Hongbin Wang Qinzhao Wang Yahui Dong the Key Lab of Industrial Computer Control Engineering of Hebei Province Yanshan University Weapon and Control Department Army Academy of Armored Forces

In this paper,a PD-type iterative learning control method is proposed for a class of nonlinear discrete networked control systems with measurement signal and control signal data *** and differential items of the error signal are employed in this method to modify the current control signal,which takes full advantage of the historical error *** data dropout is described as a stochastic and independent Bernoulli process with a given *** addition,the zero-order holding method is introduced at the data receivers of the controller and ***,the stability analysis and simulation results are performed to verify the convergence and effectiveness of the proposed method.

关键词： siterative learning control networked control systems data dropout nonlinear system