相关论文: Similarity-Based Supervisory Control of Discrete E…

A notion of $L^p$-exact controllability is introduced for linear controlled (forward) stochastic differential equations, for which several sufficient conditions are established. Further, it is proved that the $L^p$-exact controllability,…

A new systematic approach to the construction of approximate solutions to a class of nonlinear singularly perturbed feedback control systems using the boundary layer functions especially with regard to the possible occurrence of the…

We present a new method to detect anomalies in texts (in general: in sequences of any data), using language models, in a totally unsupervised manner. The method considers probabilities (likelihoods) generated by a language model, but…

Most self-supervised learning (SSL) methods learn continuous visual representations by aligning different views of the same input, offering limited control over how information is structured across representation dimensions. In this work,…

The problem of state-feedback stabilizability of discrete-time nonlinear systems has been considered in this note. Two assertions have been proved. First, if the system is $N$-step controllable to the origin, then there is a state feedback…

The objective of this paper is to study the controllability of discrete-time linear control systems in solvable Lie groups. In the special case of nilpotent Lie groups, a necessary and sufficient condition for controllability is…

In this paper, we introduce the problem of synthesizing optimal controllers for discrete event systems and we propose a procedure for solving this problem, where the method and specifications are represented by finite state automata and…

Many dependability techniques expect certain behaviors from the underlying subsystems and fail in chaotic ways if these expectations are not met. Under expected circumstances, however, software tends to work quite well. This paper suggests…

Much has been said about observability in system theory and control; however, it has been recently that observability in complex networks has seriously attracted the attention of researchers. This paper examines the state-of-the-art and…

We study the predictability of large events in self-organizing systems. We focus on a set of models which have been studied as analogs of earthquake faults and fault systems, and apply methods based on techniques which are of current…

The idea of controlling the dynamics of spatially extended systems using a small number of localized perturbations is very appealing - such a setup is easy to implement in practice. However, when the distance between controllers generating…

Recently we developed partial-observation supervisor localization, a top-down approach to distributed control of discrete-event systems (DES) under partial observation. Its essence is the decomposition of the partial-observation monolithic…

Considering real-valued clocks in timed automata (TA) makes it a practical modeling framework for discrete-event systems. However, the infinite state space brings challenges to the control of TA. To synthesize a supervisor for TA using the…

In this work, we propose an event-triggered con- trol framework for dynamical systems with temporal logical constraints. Event-triggered control methodologies have proven to be very efficient in reducing sensing, communication and…

Children acquiring English make systematic errors on subject control sentences even after they have reached near-adult competence (C. Chomsky, 1969), possibly due to heuristics based on semantic roles (Maratsos, 1974). Given the advanced…

The task of implementing a supervisory controller is non-trivial, even though different theories exist that allow automatic synthesis of these controllers in the form of automata. One of the reasons for this discord is due to the…

We consider a system that is exactly controllable. For given initial state, terminal state and objective function, an optimal control is often well-defined. Such an optimal control has the disadvantage that although it works perfectly well…

We study supervisor localization for real-time discrete-event systems (DES) in the Brandin-Wonham framework of timed supervisory control. We view a real-time DES as comprised of asynchronous agents which are coupled through imposed logical…

Source code summarization involves creating brief descriptions of source code in natural language. These descriptions are a key component of software documentation such as JavaDocs. Automatic code summarization is a prized target of…

Controllability properties for discrete-time, Markovian quantum dynamics are investigated. We find that, while in general the controlled system is not finite-time controllable, feedback control allows for arbitrary asymptotic state-to-state…