منابع مشابه
Dwell Time Refinement
The abstraction of a hybrid system by eliminating one or more of its continuous variables is in general too coarse. In this situation, dwell time refinement may be useful. The idea is to impose explicit constraints on the time that may resp. must be spent (or “dwelled”) between successive mode switches. We show how the required constraints can be inferred automatically (with acceptable cost). T...
متن کاملGraph-Based Minimum Dwell Time and Average Dwell Time Computations for Discrete-Time Switched Linear Systems
Discrete-time switched linear systems where switchings are governed by a digraph are considered. The minimum (or average) dwell time that guarantees the asymptotic stability can be computed by calculating the maximum cycle ratio (or maximum cycle mean) of a doubly weighted digraph where weights depend on the eigenvalues and eigenvectors of subsystem matrices. The graph-based method is applied t...
متن کاملDeterminants of Bus Dwell Time
Bus dwell time data collection typically involves labor-intensive ride checks. This paper reports an analysis of bus dwell times that use archived automatic vehicle location (AVL)/automatic passenger counter (APC) data reported at the level of individual bus stops. The archived data provide a large number of observations that serve to better understand the determinants of dwells, including anal...
متن کاملDwell time analysis of a single-molecule mechanochemical reaction.
Force-clamp spectroscopy is a novel technique for studying mechanochemistry at the single-bond level. Single disulfide bond reduction events are accurately detected as stepwise increases in the length of polyproteins that contain disulfide bonds and that are stretched at a constant force with the cantilever of an atomic force microscope (AFM). The kinetics of this reaction has been measured fro...
متن کاملVerifying Average Dwell Time by Solving Optimization Problems
In the switched system model, discrete mechanisms of a hybrid system are abstracted away in terms of an exogenous switching signal which brings about the mode switches. The Average Dwell time (ADT) property defines restricted classes of switching signals which provide sufficient conditions for proving stability of switched systems. In this paper, we use a specialization of the Hybrid I/O Automa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review A
سال: 2010
ISSN: 1050-2947,1094-1622
DOI: 10.1103/physreva.81.062109