piecewise-constant dynamics
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics
... PHAVerLite PHAVerLite is a variant of the stand-alone verification tool PHAVer, sharing the same capabilities and formal soundness guarantees. It is worth stressing that PHAVerLite, being a stand-alone tool, differs from ...
13
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
... BACH BACH [3, 2] is a bounded reachability checker for Linear Hybrid Automata (LHA) model, Hybrid Systems with Piecewise Constant Dynamics (HPWC) in the term of ARCH competition. The tool provides ...
9
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
... This report presents results of a friendly competition for formal verification of contin- uous and hybrid systems with linear continuous dynamics. The friendly competition took place as part of the workshop ...
9
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
... problem, BACH conducts the bounded checking in a “path-oriented” layered style. It finds potential paths which can reach the target location on the graph structure first, then encodes the feasibility of such path into a ...
13
Chaos and bifurcation of discontinuous dynamical systems with piecewise constant arguments
... The discontinuous dynamical systems generated by the retarded functional equations has been defined in [1]-[4]. The dynamical systems with piecewise constant arguments has been studied in [5]-[7] and ...
5
8. Convergence in an impulsive advanced differential equations with piecewise constant argument
... In this paper, we stated the existence and uniqueness of the solution of the initial value problem (1.1) − (1.3) . Moreover, we showed that the limit of this solution is a real constant and also we presented a ...
14
Complete Asymptotic and Bifurcation Analysis for a Difference Equation with Piecewise Constant Control
... We consider a di ff erence equation involving three parameters and a piecewise constant control function with an additional positive threshold λ. Treating the threshold as a bifurcation parameter that varies ...
13
L0 Regularization for the Estimation of Piecewise Constant Hazard Rates in Survival Analysis
... In a survival analysis context, we suggest a new method to estimate the piece- wise constant hazard rate model. The method provides an automatic proce- dure to find the number and location of cut points and to ...
19
Ergodic type solutions of differential equations with piecewise constant arguments
... Theorem 2.7 (see [19]) . Let f (t, x) ∈ ᏸ (R× Ω,R d ) be uniformly continuous in t for x in compact subsets of Ω and suppose it satisfies a Lipschitz condition with Lipschitz constant L > 0. Furthermore, assume ...
11
Oscillation of a nonlinear impulsive differential equation system with piecewise constant argument
... with piecewise constant arguments (DEPCA) exist in a widely expanded areas such as biomedicine, chemistry, mechanical engineering, physics, and so ...a piecewise constant argument was proposed ...
11
Universal Algorithms for Learning Theory Part I : Piecewise Constant Functions
... In this paper, we propose an approach which allows us to circumvent these difficulties, while staying in spirit close to the ideas of wavelet thresholding. In our approach, the hypothesis classes H are spaces of ...
25
Integrating clustering with level set method for piecewise constant Mumford-Shah model
... In this paper, we present a very efficient method to solve the two-phase piecewise constant M-S model for image segmentation within the level set framework. Unlike the well-known C-V method using ...
14
Augmented Strategies for 3D Elliptic Interface Problems with Piecewise Constant Discontinuous Coefficients.
... Based on integral equations, some fast solvers are available for Poisson equation with piecewise constant coefficient and other problems [20,35,37,38]. In these methods, integral equations are set up at ...
93
Chaos and bifurcation of the Logistic discontinuous dynamical systems with piecewise constant arguments
... The discontinuous dynamical systems generated by the retarded functional equations have been defined in [1]-[4]. The dynamical systems with piecewise constant arguments have been studied in [5]-[8] and the ...
7
Stability of numerical solution for partial differential equations with piecewise constant arguments
... Generally speaking, in many cases analytic solutions of EPCA are hard to achieve and we are forced to use numerical methods to approximate them. Nevertheless, compared with the qualitative investigation of EPCA, the ...
13
Stability of the logistic population model with generalized piecewise constant delays
... always constant and equal to . Differential equations with piecewise constant argument [t] was introduced by Cooke and Wiener ...with piecewise constant argument by taking arbitrary ...
10
Regularized Estimation of Piecewise Constant Gaussian Graphical Models:The Group Fused Graphical Lasso
... such dynamics can be exploited to constrain the graph ...a piecewise constant graphical model can be estimated such that the dependency graphs are constant in locally stationary regions ...
34
Algorithms and error bounds for multivariate piecewise constant approximation
... hold on domains satisfying certain geometric conditions, for example the interior cone condition or the Lipschitz boundary condition. In some cases even a necessary and sufficient condition for ω to admit such an ...
21
Discrete differential operators in multidimensional Haar wavelet spaces
... maps piecewise constant functions into piecewise constant ...smoothens piecewise constant functions with a suitable interpolation; secondly it finds out the derivative of the ...
9
Piecewise Constant Controlled Linear Fuzzy Systems
... systems piecewise constant controls, instead of measurable controls are ...exists piecewise constant admissible control ¯ w( · ) such that for fuzzy solutions of control fuzzy linear system ...
9