Search Sciweavers | Sciweavers

69 search results - page 2 / 14

» Hybrid Systems with Finite Bisimulations

click to vote

CDC
2010
IEEE

141views Control Systems» more CDC 2010»

Using computer games for hybrid systems controller synthesis

13 years 13 days ago

Download www.ecse.rpi.edu

Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...

A. Agung Julius, Sina Afshari

claim paper

Read More »

click to vote

HYBRID
2009
Springer

123views Control Systems» more HYBRID 2009»

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

14 years 7 days ago

Download www.rennes.supelec.fr

Gang Zheng, Antoine Girard

claim paper

Read More »

click to vote

DMTCS
2007

74views Mathematics» more DMTCS 2007»

Words and Bisimulations of Dynamical Systems

13 years 5 months ago

Download math.umh.ac.be

In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words. To achieve this g...

Thomas Brihaye

claim paper

Read More »

click to vote

HYBRID
1999
Springer

130views Control Systems» more HYBRID 1999»

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

13 years 9 months ago