Sciweavers

734 search results - page 12 / 147
» Design and control of recycle systems by non-linear analysis
Sort
View
HASE
1999
IEEE
13 years 11 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
IROS
2008
IEEE
119views Robotics» more  IROS 2008»
14 years 1 months ago
Robust stability analysis of a bilateral teleoperation system using the parameter space approach
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
Angelika Peer, Martin Buss
EMSOFT
2006
Springer
13 years 11 months ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing
APLAS
2005
ACM
14 years 1 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
ACIIDS
2009
IEEE
160views Database» more  ACIIDS 2009»
13 years 5 months ago
Stability Analysis of Time-Delay Fuzzy Systems Using Fuzzy Lyapunov Method
This study presents an H controller design for time-delay Takagi-Sugeno (T-S) fuzzy systems based on the fuzzy Lyapunov method, which is defined in terms of fuzzy blending quadrati...
Ken Yeh, Cheng-Wu Chen, Shu-Hao Lin, Chen-Yuan Che...