Contents
Automatic Control and Computer Sciences

Vol. 49, No. 7, 2015

A simultaneous English language translation of this journal is available from Allerton Press, Inc.
Distributed worldwide by Springer. Automatic Control and Computer Sciences ISSN 0146-4116.

Random Model Sampling: Making Craig Interpolation Work when It Should Not

Marat Akhin, Sam Kolton, and Vladimir Itsykson p. 413  abstract

Using SPIN for Verification of Multiagent Data Analysis

N. O. Garanina, E. V. Bodin, and E. A. Sidorova p. 420  abstract

Approach to Behavior Scenarios Debugging

P. Drobintsev, V. Kotlyarov, I. Nikiforov, A. Letichevsky, and V. Peschanenko p. 430  abstract

On Network Update Problems for Software Defined Networks

E. V. Chemeritskiy and V. A. Zakharov p. 437  abstract

Developing a Self-Applicable Verification System. Theory and Practice

D. A. Kondratyev and A. V. Promsky p. 445  abstract

Construction and Verification of PLC-Programs by LTL-Specification

E. V. Kuzmin, V. A. Sokolov, and D. A. Ryabukhin p. 453  abstract

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT Solver

M. Petrov, K. Gagarski, M. Belyaev, and V. Itsykson p. 466  abstract

Heuristic Algorithms for the Problem of Integer Balancing of a Three-Dimensional Matrix
with Constraints of the Second Type

A. V. Smirnov p. 473  abstract

Analysis and Verification of Message Sequence Charts of Distributed Systems
with the Help of Coloured Petri Nets

S. A. Chernenok and V. A. Nepomniaschy p. 484  abstract

Singularly Perturbed Boundary Value Problem with Multizonal Interior Transitional Layer

V. F. Butuzov p. 493  abstract

Dissipative Structures of the Kuramoto–Sivashinsky Equation

N. A. Kudryashov, P. N. Ryabov, and B. A. Petrov p. 508  abstract

Analysis of Running Waves Stability in the Ginzburg–Landau Equation
with Small Diffusion

A. A. Kashchenko p. 514  abstract

Dynamics of the Simplest Piecewise Linear Discontinuous Mappings

D. S. Kaschenko p. 518  abstract

Blue Sky Catastrophe in Systems with Nonclassical Relaxation Oscillations

S. D. Glyzin, A. Yu. Kolesov, and N. Kh. Rozov p. 525  abstract

Relaxation Oscillations in a System with Delays Modeling the Predator–Prey Problem

S. A. Kaschenko p. 547  abstract

Specific Features of Oscillations in Adiabatic Oscillators with Delay

P. N. Nesterov and E. N. Agafonchikov p. 582  abstract

Optimal Control of the Behavior of Solutions of an Initial Boundary Value Problem
Simulating Rotation of a Solid with an Elastic Rod

E. P. Kubyshkin and M. S. Tryakhov p. 597  abstract

On Fractional Faces of the Metric Polytope

V. A. Bondarenko and A. V. Nikolaev p. 608 abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.