Results 71 to 80 of about 1,423 (254)

Characteristic Curves for Multiple‐Inspector Sampling Plans with Inspection Errors

Quality and Reliability Engineering International, EarlyView.
ABSTRACT Classical single sampling plans (SSPs) are designed assuming that product units sampled from a lot are inspected by one inspector, in the absence or presence of inspection errors. The scenario becomes more complicated when SSPs are applied assuming that multiple inspectors operate in parallel on the same sample, as occasionally required in ...
Domenico A. Maisano, Lucrezia Ferrara, Fiorenzo Franceschini   +2 more
wiley   +1 more source

A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search

International Journal of Computational Intelligence Systems, 2019
Most of the advanced first-order logic automated theorem proving (ATP) systems adopt binary resolution methods as the core inference mechanism, where only two clauses are involved and a complementary pair of literals are eliminated during each deduction ...
Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu   +4 more
doaj   +1 more source

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)

Data in Brief, 2020
The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers.
Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky   +7 more
doaj   +1 more source

Proper Implicit Discretization of Arbitrary‐Order Robust Exact Differentiators—Without and With Noise Filtering

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT This paper considers the implicit Euler discretization of Levant's arbitrary order robust exact differentiator (RED) and Levant and Livne's arbitrary order robust exact filtering differentiator in the presence of sampled measurements.
Richard Seeber
wiley   +1 more source

Safety Critical Control of a System With Element‐Wise Estimation of Unknown Time‐Varying Parameters

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT This paper presents a method for guaranteeing the safety of a system with time‐varying parameters. First, we extend Dynamic Regressor Extension and Mixing to estimate time‐varying parameters with a finite‐time update rule, and present a bound on the estimation error.
Emil Lykke Diget, Yitaek Kim, Christoffer Sloth   +2 more
wiley   +1 more source

Distributed SE(d)$$ \mathrm{SE}(d) $$ Formation Control of Multi‐Agent Systems Using Relative Measurements

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT This study develops a solution to the distributed SE(d)$$ \mathrm{SE}(d) $$ formation control problem of multi‐agent systems using only relative measurements between agents. In this problem, poses, that is, orientations and positions, of the agents are expected to achieve desired ones.
Chunlai Peng, Kazunori Sakurama, Nichika Miyano, Mitsuhiro Yamazumi, Taiga Sugawara   +4 more
wiley   +1 more source

Data‐Driven Stabilization of Linear Discrete‐Time Delay Systems With Noisy Data

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT This paper is concerned with the stabilization of linear discrete‐time delay systems with unknown system matrices. The objective is to design stabilizing controllers using input and state measurements collected from experiments, which are affected by process disturbances.
Xian‐Ming Zhang, Qing‐Long Han, Xiaohua Ge, Bao‐Lin Zhang   +3 more
wiley   +1 more source

Computer Science and Metaphysics: A Cross-Fertilization

Open Philosophy, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.   +2 more
doaj   +1 more source

Initial State Privacy of Nonlinear Systems on Riemannian Manifolds

International Journal of Robust and Nonlinear Control, EarlyView.
ABSTRACT In this paper, we investigate initial state privacy protection for discrete‐time nonlinear closed systems. By capturing Riemannian geometric structures inherent in such privacy challenges, we refine the concept of differential privacy through the introduction of an initial state adjacency set based on Riemannian distances.
Le Liu, Yu Kawano, Antai Xie, Ming Cao
wiley   +1 more source

On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems

Моделирование и анализ информационных систем
The article is devoted to the development of an approach to solving the main problems of the theory of supervisory control of logical discrete-event systems (DES), based on their representation in the form of positively constructed formulas (PCF).
Artem Davydov, Aleksandr A. Larionov, Nadezhda V. Nagul   +2 more
doaj   +1 more source