Sciweavers

15660 search results - page 187 / 3132
» The Unbalance of Set Systems
Sort
View
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 1 months ago
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
Weehong Tan, Ufuk Topcu, Peter Seiler, Gary J. Bal...
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
15 years 11 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti
DAGSTUHL
2007
15 years 8 months ago
Learning Probabilistic Relational Dynamics for Multiple Tasks
The ways in which an agent’s actions affect the world can often be modeled compactly using a set of relational probabilistic planning rules. This paper addresses the problem of ...
Ashwin Deshpande, Brian Milch, Luke S. Zettlemoyer...
ICCD
2002
IEEE
135views Hardware» more  ICCD 2002»
16 years 3 months ago
Legacy SystemC Co-Simulation of Multi-Processor Systems-on-Chip
We present a co-simulation environment for multiprocessor architectures, that is based on SystemC and allows a transparent integration of instruction set simulators (ISSs) within ...
Luca Benini, Davide Bertozzi, Davide Bruni, Nicola...
IROS
2009
IEEE
215views Robotics» more  IROS 2009»
16 years 1 months ago
Coarsely calibrated visual servoing of a mobile robot using a catadioptric vision system
— A catadioptric vision system combines a camera and a mirror to achieve a wide field of view imaging system. This type of vision system has many potential applications in mobil...
Romeo Tatsambon Fomena, Han Ul Yoon, Andrea Cherub...