HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Many problems in high assurance systems design are only tractable using computationally expensive search algorithms. For these algorithms to be useful, designers must be provided ...
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
FROCOS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
For a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in t...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we study the reliable decentralized supervisory control of discrete event systems (DESs) under the general architecture, in which the decision for controllable event...
CIE
2007
Springer
14 years 3 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract-- This paper deals with the mean square stabilization problem for multi-input networked systems via single packet or multiple packets transmission, where the unreliability...
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
CDC
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper analyze stability of an object grasped by soft-fingers in 3-dimensional space based on moment stability. We firstly define the moment stability as a criterion for stabil...