Sciweavers

3053 search results - page 338 / 611
» Hybrid Systems Diagnosis
Sort
View
HYBRID
1994
Springer
15 years 10 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
AUTOMATICA
2008
146views more  AUTOMATICA 2008»
15 years 6 months ago
Input-to-state stability and interconnections of discontinuous dynamical systems
In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions...
W. P. M. H. Heemels, Siep Weiland
IWPC
2008
IEEE
16 years 1 months ago
Identifying Architectural Change Patterns in Object-Oriented Systems
As an object-oriented system evolves, its architecture tends to drift away from the original design. Knowledge of how the system has changed at coarse-grained levels is key to und...
Xinyi Dong, Michael W. Godfrey
ICRA
2002
IEEE
223views Robotics» more  ICRA 2002»
15 years 11 months ago
Dynamic Motion Planning Whole Arm Grasp Systems Based on Switching Contact Modes
We present motion planning for dexterous manipulation by whole arm grasp system based on switching contact modes. Motion planning for such a system should consider changing dynami...
Masahito Yashima, Hideya Yamaguchi
ICECCS
1998
IEEE
110views Hardware» more  ICECCS 1998»
15 years 11 months ago
Risk Assessment and Integrity in System Design
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
Raymond Berg, Victor L. Winter