Reachable sets for a 3D accidentally symmetric molecule

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reachable sets concept - a

A control problem over the infinite time horizon for periodical system is considered. Our aim is to analyze a special concept of solving problems of this type, based on the known idea of reachable sets. We try to consider this concept in a more general manner than it was done in earlier works and to find what is really essential in it. The algorithm corresponding to the proposed general descrip...

متن کامل

Minkowski Content for Reachable Sets

In 1955, Martin Kneser showed that the Minkowski content of a compact p-rectifiable subset M of Rn is equal to its p-Hausdorff measure: lim t→0,t>0 Ln ` B(M, t) ́ α(n− p) tn−p = H(M). We extend his result to the reachable sets of a linear control system

متن کامل

Refined Asymptotics for Singularly Perturbed Reachable Sets

We study the limit behavior of the reachable sets to singularly perturbed linear dynamic systems with time dependent coef£cients under geometric constraints on control. The system data are assumed to be Lipschitz continuous functions of time. The fast component of the phase vector is governed by a strictly stable linear system. It is shown that the reachable sets converge as the small parameter...

متن کامل

Reachable Sets for Linear Dynamical Systems

The properties of reachable sets for linear dynamical systems for specified control sets are discussed. Iterative procedures for determining numerical approximations of the reachable set are suggested and methods of obtaining an admissible control function which transfers an initial state to as near a prescribed target as possible is described. The problem of teachability with multiple control ...

متن کامل

Computing Reachable Sets : An Introduction

This paper provides a tutorial introduction to reachability computation, a new class of computational techniques developed in order to export verification technology toward continuous and hybrid systems.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IFAC-PapersOnLine

سال: 2020

ISSN: 2405-8963

DOI: 10.1016/j.ifacol.2020.12.2588