A Numerical Test for the Closure Properties of 3-D Grasps

2004 ◽  
Vol 20 (3) ◽  
pp. 543-549 ◽  
Author(s):  
X. Zhu ◽  
H. Ding ◽  
M.Y. Wang
Keyword(s):  
Numerical Test ◽  
Closure Properties

Multiple Regularity and Binary ETOL-Systems1

1981 ◽  
Vol 4 (1) ◽  
pp. 19-34
Author(s):  
Ryszard Danecki
Keyword(s):  
Equivalence Problem ◽  
Tree Automata ◽  
Closure Properties ◽  
Multiple Tree

Closure properties of binary ETOL-languages are investigated by means of multiple tree automata. Decidability of the equivalence problem of deterministic binary ETOL-systems is proved.

scholarly journals Convergence results for an averaged LQR problem with applications to reinforcement learning

2021 ◽  
Author(s):  
Andrea Pesare ◽  
Michele Palladino ◽  
Maurizio Falcone
Keyword(s):  
Optimal Control ◽  
Reinforcement Learning ◽  
Optimal Control Problem ◽  
Control Problem ◽  
Current System ◽  
Numerical Test ◽  
Linear Quadratic ◽  
Linear Quadratic Optimal Control ◽  
Lqr Problem ◽  
Quadratic Optimal Control

AbstractIn this paper, we will deal with a linear quadratic optimal control problem with unknown dynamics. As a modeling assumption, we will suppose that the knowledge that an agent has on the current system is represented by a probability distribution $$\pi $$ π on the space of matrices. Furthermore, we will assume that such a probability measure is opportunely updated to take into account the increased experience that the agent obtains while exploring the environment, approximating with increasing accuracy the underlying dynamics. Under these assumptions, we will show that the optimal control obtained by solving the “average” linear quadratic optimal control problem with respect to a certain $$\pi $$ π converges to the optimal control driven related to the linear quadratic optimal control problem governed by the actual, underlying dynamics. This approach is closely related to model-based reinforcement learning algorithms where prior and posterior probability distributions describing the knowledge on the uncertain system are recursively updated. In the last section, we will show a numerical test that confirms the theoretical results.

Autonomous Vehicles’ Car-Following Drivability Evaluation Based on Driving Behavior Spectrum Reference Model

2021 ◽  
pp. 036119812199485
Author(s):  
Xiao Qi ◽  
Ying Ni ◽  
Yiming Xu ◽  
Ye Tian ◽  
Junhua Wang ◽  
...  
Keyword(s):  
Autonomous Vehicles ◽  
Reference Model ◽  
Numerical Test ◽  
Safety Evaluation ◽  
Driving Behavior ◽  
Car Following ◽  
Driving Behaviors ◽  
Human Driver ◽  
Normal Human ◽  
Naturalistic Driving

A large portion of the accidents involving autonomous vehicles (AVs) are not caused by the functionality of AV, but rather because of human intervention, since AVs’ driving behavior was not properly understood by human drivers. Such misunderstanding leads to dangerous situations during interaction between AV and human-driven vehicle (HV). However, few researches considered HV-AV interaction safety in AV safety evaluation processes. One of the solutions is to let AV mimic a normal HV’s driving behavior so as to avoid misunderstanding to the most extent. Therefore, to evaluate the differences of driving behaviors between existing AV and HV is necessary. DRIVABILITY is defined in this study to characterize the similarity between AV’s driving behaviors and expected behaviors by human drivers. A driving behavior spectrum reference model built based on human drivers’ behaviors is proposed to evaluate AVs’ car-following drivability. The indicator of the desired reaction time (DRT) is proposed to characterize the car-following drivability. Relative entropy between the DRT distribution of AV and that of the entire human driver population are used to quantify the differences between driving behaviors. A human driver behavior spectrum was configured based on naturalistic driving data by human drivers collected in Shanghai, China. It is observed in the numerical test that amongst all three types of preset AVs in the well-received simulation package VTD, the brisk AV emulates a normal human driver to the most extent (ranking at 55th percentile), while the default AV and the comfortable AV rank at 35th and 8th percentile, respectively.

scholarly journals Identification of coexisting dynamics in boundary layer flows through proper orthogonal decomposition with weighting matrices

Meccanica ◽  
2021 ◽  
Author(s):  
Matteo Dellacasagrande ◽  
Dario Barsi ◽  
Patrizia Bagnerini ◽  
Davide Lengani ◽  
Daniele Simoni
Keyword(s):  
Experimental Data ◽  
Proper Orthogonal Decomposition ◽  
Fourier Transforms ◽  
Free Stream ◽  
Numerical Test ◽  
Separated Flow ◽  
Orthogonal Decomposition ◽  
Inner Product ◽  
Test Case ◽  
Proper Orthogonal

AbstractA different version of the classic proper orthogonal decomposition (POD) procedure introducing spatial and temporal weighting matrices is proposed. Furthermore, a newly defined non-Euclidean (NE) inner product that retain similarities with the POD is introduced in the paper. The aim is to emphasize fluctuation events localized in spatio-temporal regions with low kinetic energy magnitude, which are not highlighted by the classic POD. The different variants proposed in this work are applied to numerical and experimental data, highlighting analogies and differences with respect to the classic and other normalized variants of POD available in the literature. The numerical test case provides a noise-free environment of the strongly organized vortex shedding behind a cylinder. Conversely, experimental data describing transitional boundary layers are used to test the capability of the procedures in strongly not uniform flows. By-pass and separated flow transition processes developing with high free-stream disturbances have been considered. In both cases streaky structures are expected to interact with other vortical structures (i.e. free-stream vortices in the by-pass case and Kelvin–Helmholtz rolls in the separated type) that carry a significant different amount of energy. Modes obtained by the non-Euclidean POD (NE-POD) procedure (where weighted projections are considered) are shown to better extract low energy events sparse in time and space with respect to modes extracted by other variants. Moreover, NE-POD modes are further decomposed as a combination of Fourier transforms of the related temporal coefficients and the normalized data ensemble to isolate the frequency content of each mode.

On metalinear ETOL systems

1980 ◽  
Vol 3 (1) ◽  
pp. 15-36
Author(s):  
Grzegorz Rozenberg ◽  
Dirk Vermeir
Keyword(s):  
Finite Index ◽  
Closure Properties ◽  
Pumping Lemma ◽  
L Systems ◽  
Structural Characterizations

The concept of metalinearity in ETOL systems is investigated. Some structural characterizations, a pumping lemma and the closure properties of the resulting class of languages are established. Finally, some applications in the theory of L systems of finite index are provided.

scholarly journals Finding Global Minima with a Filled Function Approach for Non-Smooth Global Optimization

2010 ◽  
Vol 2010 ◽  
pp. 1-10 ◽  
Author(s):  
Weixiang Wang ◽  
Youlin Shang ◽  
Ying Zhang
Keyword(s):  
Global Optimization ◽  
Optimization Problem ◽  
Numerical Test ◽  
Function Approach ◽  
Global Optimization Problem ◽  
Computational Results ◽  
Filled Function ◽  
Global Minima ◽  
Smooth Case ◽  
Definition Of

A filled function approach is proposed for solving a non-smooth unconstrained global optimization problem. First, the definition of filled function in Zhang (2009) for smooth global optimization is extended to non-smooth case and a new one is put forwarded. Then, a novel filled function is proposed for non-smooth the global optimization and a corresponding non-smooth algorithm based on the filled function is designed. At last, a numerical test is made. The computational results demonstrate that the proposed approach is effcient and reliable.

A Classification and Closure Properties of Languages for Describing Concurrent System Behaviours

1981 ◽  
Vol 4 (3) ◽  
pp. 531-549 ◽  
Author(s):  
Miklós Szijártó
Keyword(s):  
Formal Languages ◽  
Parallel Program ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Concurrent System ◽  
Closure Properties ◽  
Sequential Program ◽  
Necessary And Sufficient ◽  
Special Case ◽  
Independence Relations

The correspondence between sequential program schemes and formal languages is well known (Blikle and Mazurkiewicz (1972), Engelfriet (1974)). The situation is more complicated in the case of parallel program schemes, and trace languages (Mazurkiewicz (1977)) have been introduced to describe them. We introduce the concept of the closure of a language on a so called independence relation on the alphabet of the language, and formulate several theorems about them and the trace languages. We investigate the closedness properties of Chomsky classes under closure on independence relations, and as a special case we derive a new necessary and sufficient condition for the regularity of the commutative closure of a language.

Partial Higher-Order Specifications1

1992 ◽  
Vol 16 (2) ◽  
pp. 101-126
Author(s):  
Egidio Astesiano ◽  
Maura Cerioli
Keyword(s):  
Sufficient Conditions ◽  
Higher Order ◽  
Necessary And Sufficient Conditions ◽  
Important Case ◽  
Deduction System ◽  
Closure Properties ◽  
Inference System ◽  
Conditional Specification ◽  
Necessary And Sufficient

In this paper the classes of extensional models of higher-order partial conditional specifications are studied, with the emphasis on the closure properties of these classes. Further it is shown that any equationally complete inference system for partial conditional specifications may be extended to an inference system for partial higher-order conditional specifications, which is equationally complete w.r.t. the class of all extensional models. Then, applying some previous results, a deduction system is proposed, equationally complete for the class of extensional models of a partial conditional specification. Finally, turning the attention to the special important case of termextensional models, it is first shown a sound and equationally complete inference system and then necessary and sufficient conditions are given for the existence of free models, which are also free in the class of term-generated extensional models.

scholarly journals A posteriori error estimates for a multi-scale finite-element method

2021 ◽  
Vol 40 (4) ◽  
Author(s):  
Khallih Ahmed Blal ◽  
Brahim Allam ◽  
Zoubida Mghazli
Keyword(s):  
Finite Element Method ◽  
Finite Element ◽  
A Posteriori Error Estimates ◽  
Numerical Test ◽  
Posteriori Error ◽  
Diffusion Problem ◽  
A Posteriori ◽  
Essential Information ◽  
Multi Scale ◽  
Element Method

AbstractWe are interested in the discretization of a diffusion problem with highly oscillating coefficient, by a multi-scale finite-element method (MsFEM). The objective of this method is to capture the multi-scale structure of the solution via local basis functions which contain the essential information on small scales. In this paper, we perform an a posteriori analysis of this discretization. The main result consists of building error indicators with respect to both small and large meshes used in this method. We present a numerical test in which the experiments are in good coherency with the results of analysis.

scholarly journals Multiobjective Optimization Model for Collaborative En-Route and Slot Allocation

2018 ◽  
Vol 2018 ◽  
pp. 1-7
Author(s):  
Shangwen Yang ◽  
Jingting Zhang ◽  
Ping Chen ◽  
Yongjie Yan
Keyword(s):  
Decision Making ◽  
Traffic Control ◽  
Programming Model ◽  
Numerical Test ◽  
Simulated Data ◽  
Slot Allocation ◽  
Collaborative Decision Making ◽  
Average Delay ◽  
Flight Delay ◽  
Collaborative Decision

To allocate the en-routes and slots resource to the flights with collaborative decision-making, a multiobjective 0-1 integer programming model was proposed. According to different demands from air traffic control departments, airlines, and passengers, efficiency, equity, and effectiveness principles of collaborative decision-making were considered. With the aim to minimize the total flight delay costs, the total number of turning points, and average delay time of passengers, the effectiveness constraints were achieved. The algorithm was designed to solve the model on the basis of the objective method, and Lingo11 and MatlabR2007b were applied in numerical tests. To test how well the model works in real world, a numerical test was performed based on the simulated data of a civil en-route. Test results show that, compared with the traditional strategy of first come first served, the model gains better effect. The superiority of the model was verified.

Sign in / Sign up

Export Citation Format

Share Document