The supervisory control problem for discrete event system(DES) under control involves identifying the supervisor, if one exists, which, when synchronously composed with the DES,results in a system that conforms to the...
详细信息
The supervisory control problem for discrete event system(DES) under control involves identifying the supervisor, if one exists, which, when synchronously composed with the DES,results in a system that conforms to the control specification. In this context, we consider a non-deterministic DES under complete observation and control specification expressed in action-based propositional μ-calculus. The key to our solution is the process of quotienting the control specification against the plan resulting in a new μ-calculus formula such that a model for the formula is the supervisor. Thus the task of control synthesis is reduced a problem of μ-calculus satisfiability. In contrast to the existing μ-calculus quotienting-based techniques that are developed in deterministic setting, our quotienting rules can handle nondeterminism in the plant models. Another distinguishing feature of our technique is that while existing techniques use a separate μ-calculus formula to describe the controllability constraint(that uncontrollable events of plants are never disabled by a supervisor), we absorb this constraint as part of quotienting which allows us to directly capture more general state-dependent controllability constraints. Finally, we develop a tableau-based technique for verifying satisfiability of quotiented formula and model generation. The runtime for the technique is exponential in terms of the size of the plan and the control specification. A better complexity result that is polynomial to plant size and exponential to specification size is obtained when the controllability property is state-independent. A prototype implementation in a tabled logic programming language as well as some experimental results are presented.
Music is a sound based form of art. From medieval periods there has been a constant effort to create great melodies for the purpose of entertainment, propaganda and healing. There are many formal music systems worldwi...
详细信息
Cybersecurity has become a significant concern for automotive manufacturers as modern cars increasingly incorporate electronic components. Electronic Control Units (ECUs) have evolved to become the central control uni...
详细信息
Bayesian uncertainty is an essential characteristic in terms of prediction performance. In this paper,we make a data augmentation generator which reorganizes the data and propose a method of augmenting the data with d...
详细信息
Bayesian uncertainty is an essential characteristic in terms of prediction performance. In this paper,we make a data augmentation generator which reorganizes the data and propose a method of augmenting the data with different levels of Bayesian uncertainty. We study what is the influence of data related to Bayesian uncertainty and how do we make proper organization on the augmented data to improve CNN classification prediction. We found in the Bayesian CNN prediction tasks,Bayesian uncertainty deserves proper data augmentation in order to improve the prediction performance and reduce the occurrence of immeasurable infinite predictive uncertainty.
The dual-axis tilting quadcopter holds great promise for applications that demand both high performance and full actuation in a 6DOF Cartesian task space;however, control system design is complicated by its complex dy...
详细信息
Three-dimensional (3D) human pose estimation (HPE) targets to produce the 3D spatial coordinates of the human pose from 2D images. 3D HPE is a basic computer vision task for many intelligent industrial applications. C...
详细信息
The term 'smart grid' describes the future generation of electrical power networks, which are very complicated systems. It must take into account all aspects of the electrical system, increasing its intelligen...
详细信息
Innovative methods in agriculture are required to address the persistent problems of resource scarcity, climate change, and food security. This study investigates how information and communication technology (ICT) and...
详细信息
Multipath TCP (MPTCP) is a crucial protocol in 5G/6G wireless mobile networks, offering enhanced end-to-end throughput performance by capitalizing on multiple-path connectivity. In the context of vehicular networks, t...
详细信息
This paper presents the IFOR CB-24, a fully automated unmanned surface vehicle (USV) designed for waterbody cleaning and quality testing. Utilizing edge computing, computer vision, and lightweight machine learning alg...
详细信息
暂无评论