linear hybrid automata
On weighted time optimal control for linear hybrid automata using quantifier elimination
... for hybrid systems is the hybrid automaton, which represents discrete com- ponents by finite-state machines and continu- ous components by real-numbered ...of hybrid systems is the so called ...
6
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata
... • Our method targets systems that dynamically change their configurations, which is something the existing work, such as H YT ECH, has studied. We extend the syntax and semantics of linear hybrid ...
27
Safety Verification of Floodgate Operation Protocols Using Hybrid Automata
... Over the past two decades, a lot of research has been done in the field of verification of hybrid systems [4], [7], [9]. It has been shown that efficient verification algorithms exist for a class of hybrid ...
5
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
... for Linear Hybrid Automata (LHA) model, Hybrid Systems with Piecewise Constant Dynamics (HPWC) in the term of ARCH ...a linear programming problem and solve it ...
9
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
... for Linear Hybrid Automata (LHA) model, Hybrid Systems with Piecewise Constant Dynamics (HPWC) in the term of ARCH ...a linear programming problem and solve it ...The Hybrid ...
9
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
... a linear programming problem and solve it ...convex hybrid automata, namely hybrid automata with piecewise constant dynamics, whose constraints are possibly non-linear but re- ...
13
Robust semi-explicit model predictive control for hybrid automata
... 6. CPU PROCESSING CONTROL In this section, the above results are applied on the CPU processing control problem (Azuma and Imura, 2003). In order to realize the high-speed and energy-saving computing more effectively, we ...
6
Hybrid Roundness Metric, Region Growing and Cellular Automata EDGE Detection for Efficient Brain Tumor Detection
... of Hybrid Roundness Metric with the existing techniques called Modified Texture Based Region Growing and Cellular Automata Edge ...when Hybrid Roundness Metric is implemented along with the above ...
5
Vol 9, No 2 (2018)
... fuzzy automata monads have some results on, what may be called, separated, connected, strongly connected and retrievable intuitionistic fuzzy automata ...
6
Can geocomputation save urban simulation? Throw some agents into the mixture, simmer and wait ...
... cellular automata ‘landscape’, however there are only a few transition rules applied to the sites and this is done simply to manipulate their state variables over time; there are no dispersal mechanisms in the ...
37
A Model-Based Control Design of Industrial Hybrid Dynamic Systems in the scope of KC05.21/16-20 project. Part I: Theoretical Foundations
... called Hybrid Dynamic Systems (HDS) [4, ...by Hybrid Automata (HA) [6, 7] for capturing completely requirements in the development lifecycle of these ...
8
Volume 70: Automated Verification of Critical Systems 2014
... stochastic hybrid system contains a collection of interacting discrete and continuous components, subject to random ...stochastic hybrid system often comprises a method for the generation of a finite-state ...
16
A Comparative Study of ICA Arnold Catmap with Hybridization of ICA based Arnold Catmap using Reversible Cellular Automata
... propose hybrid (ICA) based on Arnold cat-map with reversible cellular automata based image encryption technique, to improve the encryption speed ...cellular automata, independent component analysis ...
9
A Hybrid Algorithm for Solving Steiner Tree Problem
... learning automata (IWD parameters) and the depth associated with each action (N) are chosen randomly form the set of allowable ...learning automata as the response of the ...five automata are ...
7
On suboptimal control design for hybrid automata using predictive control techniques
... Abstract: In this paper we propose an on-line design technique for the target control problem of hybrid automata. First, we compute off-line the shortest path, which has the minimum discrete cost, from an ...
6
Online Full Text
... new hybrid systems framework to behavior control of nonholonomic AGV is ...the hybrid automata separately, both were combined in this ...a hybrid automata of the motion control as the ...
7
A Model Checker for Epistemic Hybrid Automata Using Constraints Logic Programming
... epistemic hybrid automata for the previous scenario in CLP, the reason of choosing CLP that it is enriched with a lot of domain solver as interval domain (IC) that is used to represent the continuous ...
7
Thyroid Segmentation and Volume Estimation Using CT Images
... In the experiments 10 CT images of patients are collected. Three slices of each patient is considered. After preprocessing thyroid non thyroid area are separated. Then initial segmentation using cellular automata ...
6
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing
... While numerous techniques for the verification of discrete-time controllers exist, to the best of our knowledge, none of them supports timing uncertainties as presented in our model, which addresses real-time systems ...
18
Biped Robot Modeling and Control Using Controlled Hybrid Automata
... correct, i.e. if the hybrid system satisfies certain properties. The simplest verification problem is a reachability question, which is to ask whether or not some bad states are reachable from the initial state of ...
8