Sciweavers

881 search results - page 111 / 177
» Specification and Design Considerations for Reliable Embedde...
Sort
View
CCE
2008
14 years 10 months ago
Safe-parking of nonlinear process systems
This work considers the problem of control of nonlinear process systems subject to input constraints and actuator faults. Faults are considered that preclude the possibility of con...
Rahul Gandhi, Prashant Mhaskar
ECMDAFA
2005
Springer
151views Hardware» more  ECMDAFA 2005»
15 years 3 months ago
A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...
Athanasios Staikopoulos, Behzad Bordbar
ICRA
2002
IEEE
92views Robotics» more  ICRA 2002»
15 years 2 months ago
Resolution Complete Rapidly-Exploring Random Trees
Trajectory design for high-dimensional systems with nonconvex constraints is a challenging problem considered in this paper. Classical dynamic programming is often employed, but c...
Peng Cheng, Steven M. LaValle
CAISE
2008
Springer
14 years 11 months ago
On Modeling and Analyzing Cost Factors in Information Systems Engineering
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
Bela Mutschler, Manfred Reichert
RV
2010
Springer
220views Hardware» more  RV 2010»
14 years 7 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu