-
作者：Lee, Bruce D.; Zhang, Thomas T. C. K.; Hassani, Hamed; Matni, Nikolai
作者单位：University of Pennsylvania
摘要：Efforts by the reinforcement learning community to close the sim-to-real gap have resulted in policy optimization objectives, which are distinct from, although related to, existing objectives in robust control, such as H-infinity methods. The disparity from the familiar control methods makes it challenging to make rigorous claims about these methods, and to predict the implications on performance of training a policy with a particular level of robustness. This in turn makes selecting the level...
-
作者：Zhong, Wenjing; Zhao, Jinjing; Hu, Hesuan
作者单位：Xidian University; Nanyang Technological University; Xi'an Jiaotong University
摘要：Security of system behavior is a kind of information flow security, which is achieved by confusing the intruders via the indistinguishability of system behaviors. Noninterference is a typical notion to describe information flow security, for which multilevel intransitive noninterference (MINI) is an advanced variant. Since there is a lack of rigorous approach to assessing MINI, this article achieves so via observability theory. For systems modeled by labeled Petri nets (LPNs), two MINI propert...
-
作者：Lee, Bruce D.; Zhang, Thomas T. C. K.; Hassani, Hamed; Matni, Nikolai
作者单位：University of Pennsylvania
摘要：Efforts by the reinforcement learning community to close the sim-to-real gap have resulted in policy optimization objectives, which are distinct from, although related to, existing objectives in robust control, such as H-infinity methods. The disparity from the familiar control methods makes it challenging to make rigorous claims about these methods, and to predict the implications on performance of training a policy with a particular level of robustness. This in turn makes selecting the level...
-
作者：Zhong, Wenjing; Zhao, Jinjing; Hu, Hesuan
作者单位：Xidian University
摘要：Security of system behavior is a kind of information flow security, which is achieved by confusing the intruders via the indistinguishability of system behaviors. Noninterference is a typical notion to describe information flow security, for which multilevel intransitive noninterference (MINI) is an advanced variant. Since there is a lack of rigorous approach to assessing MINI, this article achieves so via observability theory. For systems modeled by labeled Petri nets (LPNs), two MINI propert...
-
作者：Lee, Bruce D.; Zhang, Thomas T. C. K.; Hassani, Hamed; Matni, Nikolai
作者单位：University of Pennsylvania
摘要：Efforts by the reinforcement learning community to close the sim-to-real gap have resulted in policy optimization objectives, which are distinct from, although related to, existing objectives in robust control, such as H-infinity methods. The disparity from the familiar control methods makes it challenging to make rigorous claims about these methods, and to predict the implications on performance of training a policy with a particular level of robustness. This in turn makes selecting the level...
-
作者：Zhong, Wenjing; Zhao, Jinjing; Hu, Hesuan
作者单位：Xidian University
摘要：Security of system behavior is a kind of information flow security, which is achieved by confusing the intruders via the indistinguishability of system behaviors. Noninterference is a typical notion to describe information flow security, for which multilevel intransitive noninterference (MINI) is an advanced variant. Since there is a lack of rigorous approach to assessing MINI, this article achieves so via observability theory. For systems modeled by labeled Petri nets (LPNs), two MINI propert...
-
作者：Han, Qi; Wang, Lei; Chen, Zhiyong
作者单位：Zhejiang University; University of Newcastle
摘要：Achieving global input-to-state stability (ISS) in closed-loop systems becomes a challenging task when integrating an adaptive scheme into control design. This challenge is particularly prominent in the global output regulation of nonlinear systems. The current state of the art in global robust adaptive output regulators is limited to achieving a weaker form of integral-ISS. In this article, we present an ISS-based design framework for a class of nonlinear systems with input perturbation via a...
-
作者：Balogoun, Ismaila; Marx, Swann; Plestan, Franck
作者单位：Centre National de la Recherche Scientifique (CNRS); Nantes Universite; CNRS - Institute for Information Sciences & Technologies (INS2I); Ecole Centrale de Nantes
摘要：This article deals with the stabilization of a class of linear infinite-dimensional systems with unbounded control operators and subject to a boundary disturbance. We assume that there exists a linear feedback law that makes the origin of the closed-loop system globally asymptotically stable in the absence of disturbance. To achieve our objective, we follow a sliding mode strategy, and we add another term to this controller in order to reject the disturbance. We prove the existence of solution...
-
作者：Liu, Zhaocong; Huang, Jie
作者单位：Chinese University of Hong Kong
摘要：The problem of the distributed Nash equilibrium (NE) seeking for aggregative games has been studied over strongly connected and weight-balanced static networks and every time strongly connected and weight-balanced switching networks. In this article, we further study the same problem over jointly connected and weight-balanced networks. The existing approaches critically rely on the connectedness of the network and these approaches fail if the network is not connected. To overcome this difficul...
-
作者：Li, Bowen; Lu, Jianquan; Zhong, Jie; Wang, Yaqi
作者单位：Nanjing University of Posts & Telecommunications; Southeast University - China; Zhejiang Normal University; Qufu Normal University
摘要：In the conventional framework for distributed fault prognosis of discrete-event systems (DESs), it is assumed that observable events are always observed [such case is called static event observations (SEOs)]. However, the assumption may not hold in many DESs such as sensor networks. This article introduces the concept of distributed fault prognosis with dynamic event observations (DEOs), in which observable events are not always observed. Communication models and extended models are constructe...
