• Corpus ID: 75091074

оБзоР ПРИМЕНЕНИЯ ФоРМАЛьНЫХ МЕТоДоВ В РоБоТоТЕХНИКЕ

@inproceedings{Mordvinov2016,
  title={оБзоР ПРИМЕНЕНИЯ ФоРМАЛьНЫХ МЕТоДоВ В РоБоТоТЕХНИКЕ},
  author={D. A. Mordvinov and Yu . V. Litvinov},
  year={2016}
}

References

SHOWING 1-10 OF 56 REFERENCES
PETRI NETS AND GRAPHIC SIMULATION FOR THE VALIDATION OF COLLABORATIVE ROBOTIC CELLS IN AIRCRAFT INDUSTRY
Today, the design of new robotic cells requires the use of graphic simulation tools that make possible the verification and definition of a number of key design points before having the physical
Petri nets: Properties, analysis and applications
TLDR
The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Fault Tree Handbook
TLDR
This handbook has been developed not only to serve as text for the System Safety and Reliability Course, but also to make available to others a set of otherwise undocumented material on fault tree construction and evaluation.
Formal Verification of Behaviour Networks Including Hardware Failures
TLDR
An approach for modelling the sensor chain in a formal way and connect it to the formal model of the control system and this model can be verified using model checking techniques, which is shown on the example of theControl system of the autonomous off-road robot ravon.
HYTECH: A Model Checker for Hybrid Systems
TLDR
HyTech is a symbolic model checker for linear hybrid automata, an expressive, yet automatically analyzable, subclass of hybrids, and a key feature of HyTech is its ability to perform parametric analysis, i.e. to determine the values of design parameters for which alinear hybrid automaton satisfies a temporal requirement.
The SPIN Model Checker - primer and reference manual
TLDR
This is the most comprehensive reference guide to SPIN, written by the principal designer of the tool, and gives detailed advice on methods for tackling the most complex software verification problems.
Integration of task scheduling, action planning, and control in robotic manufacturing systems
This paper presents a novel approach for solving a challenging problem in the intelligent control of robotic manufacturing systems, i.e., the integration of low-level system sensing and control with
Hybrid Systems: Computation and Control
TLDR
Presentation topics include Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints, and From Models to Code: The Missing Link in Embedded Software.
...
...