<--- Back to Details
First PageDocument Content
Differential equations / Biology / Hybrid automaton / Hybrid system / Systems science / Hybrid / System / Model checking / Thermostat / Science and technology
Date: 2010-08-19 01:04:31
Differential equations
Biology
Hybrid automaton
Hybrid system
Systems science
Hybrid
System
Model checking
Thermostat
Science and technology

Add to Reading List

Source URL: www.iaeng.org

Download Document from Source Website

File Size: 970,18 KB

Share Document on Facebook

Similar Documents

Cryptocurrencies / Computing / Economy / Concurrent computing / Blockchain / Proof-of-stake / Ethereum / Bitcoin / Decred / Cryptoeconomics

Distributed Computing Prof. R. Wattenhofer BA/MA/SA: A Hybrid Blockchain System

DocID: 1xVNV - View Document

Physics / Logic / Quantity / VLO / Traffic collision avoidance system / Work / Quantifier

Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin

DocID: 1xUJv - View Document

Dynamical systems / Systems science / Systems theory / Differential equations / Control theory / Hybrid system / Metabolism / Ariadne / Verification / Nonlinear system / Coq / Coenzyme Q10

A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1

DocID: 1xTfF - View Document

Time-Staging Enhancement of Hybrid System Falsification Gidon Ernst Ichiro Hasuo

DocID: 1vs35 - View Document

FEIIC International Journal of Engineering and Technology, Vol. 13, No.1, 2016, ppA Review of Energy Management System in Battery Electric Vehicle with Hybrid Electrical Energy Source

DocID: 1uT02 - View Document