Sciweavers

231 search results - page 36 / 47
» Continuity controlled hybrid automata
Sort
View
101
Voted
RTCSA
1997
IEEE
15 years 1 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
ANSS
2000
IEEE
15 years 1 months ago
Flow Control and Dynamic Load Balancing in Time Warp
We present, in this paper, an algorithm which integrates flow control and dynamic load balancing in Time Warp. The algorithm is intended for use in a distributed memory environme...
Myongsu Choe, Carl Tropper
ACRI
2004
Springer
15 years 2 months ago
A Hybrid Discrete-Continuum Model for 3-D Skeletogenesis of the Vertebrate Limb
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...
Rajiv Chaturvedi, Chengbang Huang, Jesús A....
ICRA
2003
IEEE
163views Robotics» more  ICRA 2003»
15 years 2 months ago
An experimental study of hybrid switched system approaches to visual servoing
Abstract— In the recent past, many researchers have developed control algorithms for visual servo applications. In this paper, we introduce a new hybrid switched system approach,...
Nicholas R. Gans, Seth Hutchinson
HYBRID
2001
Springer
15 years 2 months ago
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
Pieter J. Mosterman