Sciweavers

1075 search results - page 5 / 215
» On Singular Interval Systems
Sort
View
SIGPLAN
2002
13 years 9 months ago
On-the-fly model checking from interval logic specifications
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
Miguel J. Hornos, Manuel I. Capel
FSS
2008
88views more  FSS 2008»
13 years 9 months ago
Solution of a system of linear equations with fuzzy numbers
The paper deals with a solution of a fuzzy interval system of linear equations, i.e. a system in which fuzzy intervals (numbers) appear instead of crisp numbers. We obtain general...
Rostislav Horcík
AIPR
2007
IEEE
14 years 4 months ago
Using a High-Fidelity Simulation Framework for Performance Singularity
A common way to evaluate the performance of a system is to compare the algorithmic outputs with ground truth to identify divergences in the system’s performance and discover the...
Chris Scrapper, Raj Madhavan, Stephen Balakirsky
ICRA
2009
IEEE
134views Robotics» more  ICRA 2009»
14 years 4 months ago
Singularity avoidance for over-actuated, pseudo-omnidirectional, wheeled mobile robots
— For mobile platforms with steerable standard wheels it is necessary to precisely coordinate rotation and steering angle of their wheels. An established approach to ensure this ...
Christian Pascal Connette, Christopher Parlitz, Ma...
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
14 years 1 months ago
Semidefinite programming methods for system realization and identification
We describe semidefinite programming methods for system realization and identification. For each of these two applications, a variant of a simple subspace algorithm is presented, i...
Zhang Liu, Lieven Vandenberghe