The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A novel approach based on probability and randomization recently emerged to synergize with the standard deterministic methods for robust control. This philosophy and body of techniques, known under the generic name of "probabilistic robust control," is here introduced and reviewed in a tutorial perspective, with focus on design techniques based on the interaction of uncertainty randomization...
Many challenging verification problems arise from complex hybrid automata that model decentralized control systems. As an example, we will consider decentralized policies that steer multiple vehicles in a shared environment: properties of safety and liveness, such as collision avoidance and ultimate convergence of all vehicles to their goals, must be verified. To formally verify the behavior of proposed...
This paper formalizes a method for generation of state-based control policy at the strategic level in an air operation, aiming at maximizing the winning probability of the Blue force. A generic model is used to explain the aspects of modeling, control design, and implementation. More specifically, a constrained bilinear control problem defined on a probability simplex is formulated and solved approximately...
An algorithm for generating schedules of airport runway operations that are robust to perturbations caused by system uncertainty is presented. The algorithm computes a tradeoff curve between runway throughput and the probability that random deviations of aircraft from the schedule violate system constraints and require intervention from air traffic controllers. The algorithm accommodates various operational...
This paper presents a broadcast feedback approach to the distributed stochastic control of an actuator system consisting of many cellular units. This control architecture was inspired by skeletal muscles comprising a vast number of tiny functional units, called sarcomeres. The output of the actuator system is an aggregate effect of numerous cellular units, each taking a bistable on-off state. A central...
The vehicle lateral control system performs lane-keeping and lane-changing tasks on automated highways. The controller acquires the vehicle's lateral positions through two sets of magnetometers. Failures on either set of magnetometers may cause instability of the system and jeopardize safety of the passengers. Hence it is of crucial importance to design and implement a fault detection and identification...
In this paper we present a novel method for robust, optimal control of nonlinear systems under probabilistic uncertainty. The method extends a previous approach for linear systems that approximates the distribution of the predicted system state using a finite number of particles. We couple this particle-based approach with a nonlinear solver that does not take into account uncertainty to give a new...
This paper introduces a new approach to the recursive propagation of probability density functions through discrete-time stochastic nonlinear dynamic systems. An efficient recursive procedure is proposed that is based on the optimal approximation of the posterior densities after each prediction step by means of Dirac mixtures. The parameters of the individual components are selected by systematically...
We provide a control theoretical method for a computational lower bound of quantum algorithms based on quantum walks of a finite time horizon. It is shown that given a quantum network, there exists a control theoretical expression of the quantum system and the transition probability of the quantum walk is related to a norm of the associated transfer function.
Full-system testing for large-scale systems is often infeasible or very costly. Thus, when estimating system reliability, it is desirable to employ a method that uses subsystem tests, which are often less expensive and more feasible. This paper presents a method for calculating system reliability estimates based on subsystem tests. The method does not require that subsystems or their reliability estimates...
Probabilistic Boolean networks (PBNs) have been recently introduced as a paradigm for modeling genetic regulatory networks. One of the objectives of PBN modeling is to use the network for the design and analysis of intervention strategies aimed at moving the network out of undesirable states, such as those associated with disease, and into desirable ones. To date, a number of intervention strategies...
In many relevant situations, chance constrained linear programs can be explicitly converted into efficiently solvable convex second order cone programs (SOCP), provided some information about the family of data distributions (for instance, the first two moments) is known. These issues have been discussed in the first part paper [3]. In this companion paper, we consider chance constrained linear programs...
Remote estimation problems are critical to many novel applications enabled by large-scale dense wireless sensor network. Individual sensors simultaneously sense, process and transmit measured information over a lossy wireless network to a central base station, which processes the data and produces an optimal estimate of the state. In this paper, we investigate the tradeoff between the estimation performance...
Information-driven sensor management aims at making optimal decisions regarding the sensor type, mode and configuration in view of the sensing objectives. In this paper, an approach is developed for computing two information-theoretic functions, expected discrimination gain and expected entropy reduction, to optimize target classification accuracy based on multiple and heterogeneous sensors fusion...
A methodology is developed to deploy a mobile sensor network for the purpose of detecting and capturing mobile targets in the plane. The sensing-pursuit problem considered in this paper is analogous to the Marco Polo game, in which the pursuer must capture multiple mobile targets that are sensed intermittently, and with very limited information. In this paper, the mobile sensor network consists of...
We address a discrete-time pursuit-evasion problem involving multiple pursuers and a single evader in an unbounded, planar environment in which each player has limited-range sensing. The evader appears at a random location in a bounded region and moves only when sensed. We propose a sweep-pursuit-capture strategy for a group of at least three pursuers and determine a lower bound on the probability...
We describe an on-line probabilistic diagnosis algorithm for free choice Petri nets. The plant observation is given by a subset of transitions whose occurrence is reported while the rest of transitions including faults are unobservable silent. We propose two notions for the probabilistic diagnosis, the likelihood that a fault must have happened prior to the last observed event, and the likelihood...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.