Modelling excitable cells using cycle-linear hybrid automata
نویسندگان
چکیده
منابع مشابه
Modelling excitable cells using cycle-linear hybrid automata.
Cycle-linear hybrid automata (CLHAs), a new model of excitable cells that efficiently and accurately captures action-potential morphology and other typical excitable-cell characteristics such as refractoriness and restitution, is introduced. Hybrid automata combine discrete transition graphs with continuous dynamics and emerge in a natural way during the (piecewise) approximation process of any...
متن کاملLearning Cycle-Linear Hybrid Automata for Excitable Cells
We show how to automatically learn the class of Hybrid Automata called Cycle-Linear Hybrid Automata (CLHA) in order to model the behavior of excitable cells. Such cells, whose main purpose is to amplify and propagate an electrical signal known as the action potential (AP), serve as the “biologic transistors” of living organisms. The learning algorithm we propose comprises the following three ph...
متن کاملEfficient Modeling of Excitable Cells Using Hybrid Automata
We present an approach to modeling complex biological systems that is based on Hybrid automata (HA). HA combine discrete transition graphs with continuous dynamics. Our goal is to efficiently capture the behavior of excitable cells previously modeled by systems of nonlinear differential equations. In particular, we derive HA models from the Hodgkin-Huxley model of the giant squid axon, the Luo-...
متن کاملModelling a real-time control system using parameterized linear hybrid automata
Many real-time systems operate in safety-critical environments. Testing of these systems is hard in principle and can never guarantee full coverage. So a method for formally proving correctness is desirable. Another problem in real-time system design is the determination of deadlines and periods of time-critical processes as a prerequisite of the scheduler design. We want to use Hybrid Automata...
متن کاملModelling and Veri cation using Linear Hybrid Automata - a Case Study
This paper discusses the use of hybrid automata to specify and verify embedded distributed systems that consist of both discrete and continuous components The basis of the evaluation is an automotive control system which controls the height of an automobile by pneumatic suspension It has been proposed by BMW AG as a case study taken from a current industrial development Essential parts of the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IET Systems Biology
سال: 2008
ISSN: 1751-8849,1751-8857
DOI: 10.1049/iet-syb:20070001