English
Related papers

Related papers: Similarity-Based Supervisory Control of Discrete E…

200 papers

Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e.g., avionics) to recommend the proper use of technologies. Consistency…

Software Engineering · Computer Science 2009-05-15 Zhe Chen , Gilles Motet

The paper is devoted to the study of a new class of optimal control problems governed by discontinuous constrained differential inclusions of the sweeping type with involving the duration of the dynamic process into optimization. We develop…

Optimization and Control · Mathematics 2023-10-18 Giovanni Colombo , Boris S. Mordukhovich , Dao Nguyen , Trang Nguyen

Measuring the similarity of short written contexts is a fundamental problem in Natural Language Processing. This article provides a unifying framework by which short context problems can be categorized both by their intended application and…

Computation and Language · Computer Science 2010-10-19 Ted Pedersen

Pressed by the difficulty of writing asynchronous, event-driven code, mainstream languages have recently been building in support for a variety of advanced control-flow features. Meanwhile, experimental language designs have suggested…

Programming Languages · Computer Science 2020-10-20 Yizhou Zhang , Guido Salvaneschi , Andrew C. Myers

Distance to Uncontrollability is a crucial concept in classical control theory. Here, we introduce Quantum Distance to Uncontrollability as a measure how close a universal quantum system is to a non-universal one. This allows us to provide…

Quantum Physics · Physics 2022-04-06 Daniel Burgarth , Jeff Borggaard , Zoltán Zimborás

Combining local exceptions and first class continuations leads to programs with complex control flow, as well as the possibility of expressing powerful constructs such as resumable exceptions. We describe and compare games models for a…

Logic in Computer Science · Computer Science 2013-09-06 James Laird

Modern assembly processes require flexibility and adaptability to handle increasing product variety and customization. Traditional assembly planning methods often prioritize finding an optimal assembly sequence, overlooking the requirements…

Systems and Control · Electrical Eng. & Systems 2025-03-10 Martina Vinetti , Martin Fabian

Large language models present challenges for principled uncertainty quantification, in part due to their complexity and the diversity of their outputs. Semantic dispersion, or the variance in the meaning of sampled answers, has been…

Computation and Language · Computer Science 2026-03-24 Edward Phillips , Sean Wu , Fredrik K. Gustafsson , Boyan Gao , David A. Clifton

Controllability of chemical reactions is an important problem in chemical engineering science. In control theory, analysis of the controllability of linear systems is well-founded, however the dynamics of chemical reactions is usually…

Optimization and Control · Mathematics 2015-08-14 Dániel András Drexler , János Tóth

This paper proposes basic definitions of similarity and similarity indexes between admissible behaviors of heterogeneous host and guest systems and further presents a similarity-based learning control framework by exploiting the offline…

Systems and Control · Electrical Eng. & Systems 2024-09-27 Chenchao Wang , Deyuan Meng

A novel method for control of dynamical systems, proposed in the paper, ensures an output signal belonging to the given set at any time. The method is based on a special change of coordinates such that the initial problem with given…

Systems and Control · Electrical Eng. & Systems 2019-12-19 Igor Furtat

Generating versatile and appropriate synthetic speech requires control over the output expression separate from the spoken text. Important non-textual speech variation is seldom annotated, in which case output control must be learned in an…

Audio and Speech Processing · Electrical Eng. & Systems 2018-09-11 Gustav Eje Henter , Jaime Lorenzo-Trueba , Xin Wang , Junichi Yamagishi

This paper proposes a framework to design an event-triggered based robust control law for linear uncertain system. The robust control law is realized through both static and dynamic event-triggering approach to reduce the computation and…

Optimization and Control · Mathematics 2015-09-08 Niladri Sekhar Tripathy , I. N. Kar , Kolin Paul

Control code is a concept that is closely related to a frequently occurring practitioner's view on what is a program: code that is capable of controlling the behaviour of some machine. We present a logical approach to explain issues…

Software Engineering · Computer Science 2009-09-02 J. A. Bergstra , C. A. Middelburg

We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems specified as event systems with fairness. We give proof rules for…

Logic in Computer Science · Computer Science 2016-08-16 Dominique Méry , Stephan Merz

This paper is the first part of a project devoted to studying the interconnection between controllability properties of a dynamical system and the large-time asymptotics of trajectories for the associated stochastic system. It is proved…

Classical Analysis and ODEs · Mathematics 2018-03-07 Armen Shirikyan

We propose a novel framework for controllable natural language transformation. Realizing that the requirement of parallel corpus is practically unsustainable for controllable generation tasks, an unsupervised training scheme is introduced.…

Computation and Language · Computer Science 2019-07-16 Parag Jain , Abhijit Mishra , Amar Prakash Azad , Karthik Sankaranarayanan

In practice, we can not only disable some events, but also enforce the occurrence of some events prior to the occurrence of other events by external control. In this paper, we combine these two control mechanisms to synthesize a more…

Systems and Control · Electrical Eng. & Systems 2023-01-10 Lin Cao , Shaolong Shu , Feng Lin

In the domain of unsupervised learning most work on speech has focused on discovering low-level constructs such as phoneme inventories or word-like units. In contrast, for written language, where there is a large body of work on…

Computation and Language · Computer Science 2018-10-29 Grzegorz Chrupała , Lieke Gelderloos , Ákos Kádár , Afra Alishahi

In this paper we are concerned with the approximate controllability of a multidimensional semilinear reaction-diffusion equation governed by a multiplicative control, which is locally distributed in the reaction term. For a given initial…

Optimization and Control · Mathematics 2020-06-26 Mohamed Ouzahra