Modern static-analysis tools provide powerful and specific insights into codebases. The Linux kernel team, for example, developed Coccinelle, a tool searching, analyzing, rewriting C source code; because the contains more than 27 million lines of code, is essential both finding bugs making automated changes across its many libraries modules. Another targeted at family languages Clang scan-build...

Dynamic translinear (DTL) circuits use the exponential inputoutput relation of the transistor as a primitive for the synthesis of electronic circuits. As a consequence the analysis of the dynamic behaviour of this type of circuits in the presence of parasitics results in analyzing dynamic nonlinear circuits. There are three different approaches that can be applied: the linear time-invariant (LT...

A systematic approach to the static analysis of deformation of linear objects such as cords and ropes is presented. There exists many manipulative operations that deal with deformable objects in environments that robots are expected to take active parts, while rigid object manipulation has been a main interest in most of the task planning researches. Manipulative operations that deal with defor...

Sufficient conditions of consensus (synchronization) in networks described by digraphs and consisting of identical determenistic SIMO systems are derived. Identical and nonidentical control gains (positive arc weights) are considered. Connection between admissible digraphs and nonsmooth hypersurfaces (sufficient gain boundary) is established. Necessary and sufficient conditions for static conse...

This paper describes a Matlab toolbox for computational analysis and hierarchical controller synthesis of piecewise linear hybrid dynamical systems. The analysis and design are based on computation of predecessor operator and backward reachability analysis. Both static specifications that do not change as time progresses and dynamic specifications that include sequencing of events and eventual ...

Interpretation Based Static Analyzers. In