15840 search results - page 856 / 3168 » The Control of Synchronous Systems |
215
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
190
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Lie group symmetry in a mechanical system can lead to a dimensional reduction in its dynamical equations. Typically, the symmetries that one exploits are intrinsic to the mecha...
228
click to vote
HYBRID
2000
Springer
15 years 11 months ago
2000
Springer
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
199
click to vote
AUTOMATICA
2010
15 years 7 months ago
2010
We consider a class of systems influenced by perturbations that are nonlinearly parameterized by unknown constant parameters, and develop a method for estimating the unknown param...
197
click to vote
CVPR
1999
IEEE
16 years 9 months ago
1999
IEEE
We are developing a system to extract geodetic, textured CAD models from thousands of initially uncontrolled, close-range ground and aerial images of urban scenes. Here we describ...