Related papers: A Logic for Paraconsistent Transition Systems
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of a given logic and relational structures used to define the…
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional attitudes like beliefs or obligations. We define their…
Transient stability assessment (TSA) has always been a fundamental means for ensuring the secure and stable operation of power systems. Due to the integration of new elements such as power electronics, electric vehicles and renewable power…
Metamorphic testing has recently been used to check the safety of neural NLP models. Its main advantage is that it does not rely on a ground truth to generate test cases. However, existing studies are mostly concerned with robustness-like…
This paper pursues a two-fold goal. Firstly, we aim to derive novel second-order characterizations of important robust stability properties of perturbed Karush-Kuhn-Tucker systems for a broadclass of constrained optimization problems…
The identification and classification of phases in small systems, e.g. nuclei, social and financial networks, clusters, and biological systems, where the traditional definitions of phase transitions are not applicable, is important to…
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore…
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. We propose a new method for proving correctness of parallel…
Determining the steady state of an open quantum system is crucial for characterizing quantum devices and studying various physical phenomena. Often, computing a single steady state is insufficient, and it is necessary to explore its…
This overview focuses on the notion of partial dynamical symmetry (PDS), for which a prescribed symmetry is obeyed by a subset of solvable eigenstates, but is not shared by the Hamiltonian. General algorithms are presented to identify…
Modeling and reasoning about concurrent quantum systems is very important both for distributed quantum computing and for quantum protocol verification. As a consequence, a general framework describing formally the communication and…
We show that and how point interactions offer one of the most suitable guides towards a quantitative analysis of properties of certain specific non-Hermitian (usually called PT-symmetric) quantum-mechanical systems. A double-well model is…
The quantum statistics mechanism is very powerful for investigating the equilibrium states and the phase transitions in complex spin disorder systems. The spin disorder systems act as an interdisciplinary platform for solving the optimum…
We consider parabolic systems with nonlinear dynamic boundary conditions, for which we give a rigorous derivation. Then, we give them several physical interpretations which includes an interpretation for the porous-medium equation, and for…
The vast majority of the literature on learning dynamical systems or stochastic processes from time series has focused on stable or ergodic systems, for both Bayesian and frequentist inference procedures. However, most real-world systems…
With the increasing penetration of Inverter-Based Resources (IBRs) and their impact on power system stability and operation, the concept of stability-constrained optimization has drawn significant attention from researchers. In order to…
As the complexity of software systems rises, methods for explaining their behaviour are becoming ever-more important. When a system fails, it is critical to determine which of its components are responsible for this failure. Within the…
This paper addresses the problem of data-driven model discrimination for unknown switched systems with unknown linear temporal logic (LTL) specifications, representing tasks, that govern their mode sequences, where only sampled data of the…
Control theory often takes the mathematical model of the to-be-control-led system for granted. In contrast, port-Hamiltonian systems theory bridges the gap between modelling and control for physical systems. It provides a unified framework…
Dynamic evolution behaviors of dimension-varying control systems often appear in the genetic regulatory network and the vehicle clutch system etc. An interesting and significant study on dimension-varying control systems is how to realize…