On the Existence of Executions of Hybrid Automata

doi 10.1109/cdc.1999.831255
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE

Related search

Discretizing Affine Hybrid Automata With Uncertainty

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue

English

Characterization of 2D Hybrid Cellular Automata With Periodic Boundary

Acta Physica Polonica A
AstronomyPhysics
2017English

Monitoring of Dynamical Systems Using Hybrid Automata With Stopwatch

The Open Automation and Control Systems Journal
2017English

Reachability Analysis on Distributed Executions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

A Hybrid Web Recommender System Based on Cellular Learning Automata

2010English

Inductive Verification of Hybrid Automata With Strongest Postcondition Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Average-Price-Per-Reward Games on Hybrid Automata With Strong Resets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Hybrid One-Dimensional Reversible Cellular Automata Are Regular

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy