Linear Hybrid Automaton Generation Using Mapping Algorithm for Hybrid Dynamic Systems | Zendy

Larbi Sekhri | Zendy; Haffaf Hafid | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Linear Hybrid Automaton Generation Using Mapping Algorithm for Hybrid Dynamic Systems

Author(s) -

Larbi Sekhri,

Haffaf Hafid

Publication year - 2014

Publication title -

international journal of information technology and computer science

Language(s) - English

Resource type - Journals

eISSN - 2074-9015

pISSN - 2074-9007

DOI - 10.5815/ijitcs.2014.10.01

Subject(s) - hybrid automaton , computer science , hybrid system , automaton , algorithm , software , timed automaton , process (computing) , hybrid algorithm (constraint satisfaction) , theoretical computer science , artificial intelligence , programming language , constraint satisfaction , probabilistic logic , constraint logic programming , machine learning

Hybrid dynamic systems are analyzed through linear hybrid automaton. In this paper, we propose a mapping algorithm to deal with a new Continuous elementary HPN. The method shown enables us to analyze some system properties using a linear hybrid automaton generated by a mapping process. The application involves a water system of three tanks, which is analyzed by a PHAVer (Polyhedral Hybrid Automaton Verifier) software tool. Its effectiveness is illustrated by numerical simulation results

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research