Related papers: Analytical Factors for Describing the Control Abil…
In this paper, the works on the analytical volume analysis for the controllable regions of the linear discrete-time (LDT) systems in papers \cite{zhaomw202001} and \cite {zhaomw202004} are discussed further and a new theorem on the…
In this paper, the control ability with time attributy for the linear continuous-time (LCT) systems are defined and analyzed by the volume computing for the controllability region. Firstly, a relation theorem about the open-loop control…
In this article, we present three theorems and develop an effective analytical method to compute analytically the volume of the controllability ellipsoid for the linear discrete-time (LDT) systems with $n$ different eigenvalues.…
In this article, we define a class of special zonotopes generated by a matrix pair with finite-interval parameters. We discuss the relationship between the volume of these zonotopes and the controllability of one aspect (the volume of the…
In this paper, based on the controllable canonical form and the Hurwitz matrix of the Hurwitz stability criterion, an analytical volume computing method for the smooth controllability zonotope for the linear continuous-time(LCT) systems,…
Several theorems on the volume computing of the polyhedron spanned by a n-dimensional vector set with the finite-interval parameters are presented and proved firstly, and then are used in the analysis of the controllable regions of the…
In formal safety verification, many proposed algorithms use parametric set representations and convert the computation of the relevant sets into an optimization problem; consequently, the choice of parameterization and objective function…
In this article, the definition on the control ability, and the relation between the open-loop control ability and the closed-loop performance are studied systematically for the linear dynamical systems. Firstly, to define and compare…
This paper studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global control strategy is proposed for the desired specification…
This paper studies the controller synthesis problem for Linear Temporal Logic (LTL) specifications using (constrained) zonotope techniques. First, we implement (constrained) zonotope techniques to partition the state space and further to…
This paper introduces zonoLAB, a MATLAB-based toolbox for set-based control system analysis using the hybrid zonotope set representation. Hybrid zonotopes have proven to be an expressive set representation that can exactly represent the…
We use analytic (current) density-potential maps of time-dependent (current) density functional theory (TD(C)DFT) to inverse engineer analytically solvable time-dependent quantum problems. In this approach the driving potential (the control…
This work proposes a robust data-driven tube-based zonotopic predictive control (TZPC) approach for discrete-time linear systems, designed to ensure stability and recursive feasibility in the presence of bounded noise. The proposed approach…
Density functional theory (DFT) serves as the basis for computational discovery in materials science and chemistry, yet each calculation demands extensive human effort: adjusting algorithms when convergence stalls, revising plans when…
Data-driven reachability analysis using matrix zonotopes faces a fundamental challenge: the number of generators in the reachable set grows exponentially during propagation, while current order reduction yields overly conservative…
The ever-growing demands on speed and precision from the precision motion industry have pushed control requirements to reach the limitations of linear control theory. Nonlinear controllers like reset provide a viable alternative since they…
Input-affine dynamical systems often arise in control and modeling scenarios, such as the data-driven case when state-derivative observations are recorded under bounded noise. Common tasks in system analysis and control include optimal…
The question of controllability is investigated for a quantum control system in which the Hamiltonian operator components carry explicit time dependence which is not under the control of an external agent. We consider the general situation…
We give a covariant definition of closeness between (time oriented) Lorentzian metrics on a manifold M, using a family of functions which measure the difference in volume form on one hand and the difference in causal structure relative to a…
Quantum Optimal Control Theory (QOCT) provides the necessary tools to theoretically design driving fields capable of controlling a quantum system towards a given state or along a prescribed path in Hilbert space. This theory must be…