<--- Back to Details
First PageDocument Content
Models of computation / Mathematics / Differential equations / Dynamical systems / Control theory / Hybrid automaton / Hybrid system / State space / Discrete system / Automata theory / Applied mathematics / Theoretical computer science
Date: 2006-07-24 18:21:02
Models of computation
Mathematics
Differential equations
Dynamical systems
Control theory
Hybrid automaton
Hybrid system
State space
Discrete system
Automata theory
Applied mathematics
Theoretical computer science

Add to Reading List

Source URL: www.cs.ubc.ca

Download Document from Source Website

File Size: 1,09 MB

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