• No results found

Hybrid Automata

Mechanical Equivalents to Hybrid Automata.

Mechanical Equivalents to Hybrid Automata.

... of hybrid systems, one might view the mind as a controller (or set of controllers) and the body as the continuous portion acted upon by the ...with hybrid automata, however, the languages used for ...

336

Safety Verification of Floodgate Operation Protocols Using Hybrid Automata

Safety Verification of Floodgate Operation Protocols Using Hybrid Automata

... In this paper, we applied ideas from formal methods in computer science to the problem of verification of floodgate management strategy. We demonstrated its effectiveness in a linear arrangement of reservoirs. Several ...

5

A Model Checker for Epistemic Hybrid Automata          Using Constraints Logic Programming

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

On weighted time optimal control for linear hybrid automata using quantifier elimination

On weighted time optimal control for linear hybrid automata using quantifier elimination

... 3. OPTIMAL SOLUTION FOR RECTANGULAR HYBRID AUTOMATA This section deals with the optimal control prob- lem for rectangular hybrid automata. Before pro- ceeding with the main theorem, we discuss ...

6

Games for optimal controller synthesis on hybrid automata

Games for optimal controller synthesis on hybrid automata

... rectangular hybrid automata the reachability problem is decid- ...rectangular hybrid automata, referred to as the initialised rectangular hybrid automata , and show that the ...

242

On suboptimal control design for hybrid automata using predictive control techniques

On suboptimal control design for hybrid automata using predictive control techniques

... Considering the high computational complex- ity of the MPC on-line algorithm presented in (Bemporad et al., 1999), we formulate a semi- explicit(sub-optimal) method that reduces the computational burden. For this, we ...

6

Biped Robot Modeling and Control Using Controlled Hybrid Automata

Biped Robot Modeling and Control Using Controlled Hybrid Automata

... Abstract: Hybrid systems are dynamical systems consisting of interacting discrete event and continuous state ...controlled hybrid automaton is a hybrid automaton whose continuous-state dynamics are ...

8

Robust semi-explicit model predictive control for hybrid automata

Robust semi-explicit model predictive control for hybrid automata

... the shortest path can be used to derive a semi- explicit algorithm for hybrid automata. The de- sign proposed in this paper is computationally ef- ficient due to the fact that the global optimization ...

6

Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata

Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata

... By definition, all linear hybrid automata are DLHAs. Our system dynamically changes its structure by sending and receiving messages. However, the messages stati- cally determine the structure, and the ...

27

Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing

Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing

... Uncertain input/output timing adversely affects the performance of digital control loops but is virtually unavoidable in complex real-time systems. To still prove safety we are required to prove worst-case behavior, such ...

18

A Model-Based Control Design of Industrial Hybrid Dynamic Systems in the scope of KC05.21/16-20 project. Part I: Theoretical Foundations

A Model-Based Control Design of Industrial Hybrid Dynamic Systems in the scope of KC05.21/16-20 project. Part I: Theoretical Foundations

... a hybrid control model, which is based on the Real-Time Unified Modeling Language (UML) and hybrid automata in order to conveniently analyze, design and implement industrial Hybrid Dynamic ...

8

Online Full Text

Online Full Text

... into hybrid systems that intermix discrete modes and continuous ...in hybrid systems has developed efficient tools for synthesis and analysis of such complex ...This hybrid, hierarchical approach to ...

7

Volume 70: Automated Verification of Critical Systems 2014

Volume 70: Automated Verification of Critical Systems 2014

... of hybrid systems, which are systems in which behaviour is described as an interplay between discrete and continuous ...of hybrid systems, namely hybrid automata [ACH + 95], which comprise a ...

16

Non-blocking supervisory control for initialised rectangular automata

Non-blocking supervisory control for initialised rectangular automata

... to hybrid automata have been studied in [9], [10] where the reader is referred for more ...rectangular automata are stated as the boundary between decidability and undecidability of the reachability ...

13

ARCH-COMP19 Category Report: Hybrid Systems with 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-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

... and hybrid systems with linear ...analyze hybrid automata models in the SpaceEx input ...of hybrid systems reachability analysis is enhanced using an adaptation of the ...

9

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics

... BACH BACH [12, 11] 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 ...

13

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics

... and hybrid systems with linear ...analyze hybrid automata models in the SpaceEx input ...of hybrid systems reachability analysis is enhanced using an adaptation of the ...

9

A compilation of the full PDDL+ language into SMT

A compilation of the full PDDL+ language into SMT

... of hybrid systems ...standard hybrid automata, but so far only an over-approximation has been defined, that allows the use of those tools only for proving plan ...

9

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata

... of automata are not limited to com- puters but are being seen in many other disciplines of science and engineering, for example, representing cha- racteristics of natural phenomena in biology [25] and modeling of ...

10

Show all 10000 documents...

Related subjects