1357 search results - page 33 / 272 » Compositional analysis for linear systems |
SIGSOFT
2009
ACM
14 years 11 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
FM
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
IFIPTCS
2010
13 years 8 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
AUTOMATICA
2002
13 years 10 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...