Augmented finite transition systems generalize nondeterministic transition systems with additional liveness conditions. We propose efficient algorithms for synthesizing control protocols for augmented finite transitio...
详细信息
ISBN:
(纸本)9781479932757
Augmented finite transition systems generalize nondeterministic transition systems with additional liveness conditions. We propose efficient algorithms for synthesizing control protocols for augmented finite transition systems to satisfy high-level specifications expressed in a fragment of linear temporal logic (LTL). We then use these algorithms within a framework for switching protocol synthesis for discrete-time dynamical systems, where augmented finite transition systems are used for abstracting the underlying dynamics. We introduce a notion of minimality for abstractions of certain fidelity and show that such minimal abstractions can be exactly computed for switched affine systems. Additionally, based on this framework, we present a procedure for computing digitally implementable switching protocols for continuous-time systems. The effectiveness of the proposed framework is illustrated through two examples of temperature control for buildings.
One-Sided Lipschitz (OSL) fractional order modeling is a top choice for solving the stabilization issue of nonlinear systems. Despite numerous studies on the subject, there remains a gap in understanding when it comes...
One-Sided Lipschitz (OSL) fractional order modeling is a top choice for solving the stabilization issue of nonlinear systems. Despite numerous studies on the subject, there remains a gap in understanding when it comes to fractional calculus. By providing a stabilizing strategy for a certain type of OSL fractional order nonlinear systems, this study fills the gap. A numerical example demonstrating the correctness of the suggested approach and demonstrating its efficacy for the tested class.
Mining ventilation is an interesting example of a large scale system with high environmental impact where advanced control strategies can bring major improvements. The challenge in this work is focused on the mining v...
详细信息
Mining ventilation is an interesting example of a large scale system with high environmental impact where advanced control strategies can bring major improvements. The challenge in this work is focused on the mining ventilation since as much as 50 % or more of the energy consumed by the mining process may go into the ventilation (including heating the air). It is clear that investigating automaticcontrol solutions and minimizing the amount of pumped air to save energy consumption (proportional to the cube of airflow quantity) is of great environmental and industrial interest.
This paper proposes the use of an event camera as a component of a vision system that enables counting of fast-moving objects – in this case, falling corn grains. These type of cameras transmit information about the ...
详细信息
The association of weights in a distributed consensus protocol quantify the trust that an agent has on its neighbors in a network. An important problem in such networked systems is the uncertainty in the estimation of...
A multiple model adaptive controller that provides for reconfiguration in response to sensor and/or actuator failures is developed for an approach and landing profile for the short take-off and landing (STOL) F-15 air...
详细信息
A multiple model adaptive controller that provides for reconfiguration in response to sensor and/or actuator failures is developed for an approach and landing profile for the short take-off and landing (STOL) F-15 aircraft. Each elemental controller within the multiple model controller is based on a command generator tracker/proportional plus integral/Kalman filter design, with residual monitoring used as the mechanism to select the appropriate controller. The elemental controllers are each based on an assumed system status: no failures or a single failed surface or sensor. controller selection is evaluated for controller mixing based on all algorithm-computed probabilities of each elemental controller being the 'correct' controller to use. The entire multiple model controller is evaluated against a truth model with a selected failure, and then repeating the process for all failure modes of interest.< >
This paper presents a signal processing framework for automatic anxiety level classification in a virtual reality exposure therapy system. Two types of biophysical data (heart rate and electrodermal activity) were rec...
详细信息
In the automotive industry from the past years, the trend has been towards more complicated electronic control system. The new approach for vehicle design has to be multidisciplinary. Developing a simulation model for...
详细信息
Since the outbreak of COVID-19, an astronomical number of publications on the pandemic dynamics appeared in the literature, of which many use the susceptible infected removed (SIR) and susceptible exposed infected rem...
详细信息
Finding a point in the intersection of a collection of closed convex sets, that is the convex feasibility problem, represents the main modeling strategy for many computational problems. In this paper we analyze new st...
详细信息
暂无评论