Reachability Problems, Mikolai Bojanczyk; Slawomir Lasota; Igor Potapov

Автор: Joel Ouaknine; Igor Potapov; James Worrell
Название: Reachability Problems
ISBN: 3319114387 ISBN-13(EAN): 9783319114385
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

Автор: Larsen
Название: Reachability Problems
ISBN: 3319459937 ISBN-13(EAN): 9783319459936
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The papers cover a range of topics in the field of reachability for infinite state systems;

Автор: Matthew Hague; Igor Potapov
Название: Reachability Problems
ISBN: 3319670883 ISBN-13(EAN): 9783319670881
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017.

Автор: Parosh Aziz Abdulla; Igor Potapov
Название: Reachability Problems
ISBN: 3642410359 ISBN-13(EAN): 9783642410352
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013.

Автор: Olivier Bournez; Igor Potapov
Название: Reachability Problems
ISBN: 3642044190 ISBN-13(EAN): 9783642044199
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Third International Workshop on Reachability Problems, RP 2009 was held in Ecole Polytechnique, September 23-25, 2009, in Palaiseau, near to Paris, France. Reachability Problems 2009 was hosted as an edition of the annual LIX Fall Colloquium. The LIX Fall Colloquium is the annual colloquium organized by the computer science laboratory of Ecole Polytechnique. The topics of this c- loquiumchange everyyear. Previouseditions includeEmerging Trends in Visual Computing (ETVC 2008) in 2008, Complex Industrial Systems: Modeling, Ve- ?cationandOptimization in2007, and Emerging TrendsinConcurrencyTheory in 2006. TheReachabilityProblemsworkshopsseriesaimsatgatheringtogethersch- ars from diverse disciplines and backgrounds interested in reachability problems that appear inalgebraicstructures, computationalmodels, hybridsystems, ve- cation, etc. Reachabilityis afundamentalprobleminthe contextofmanym- els and abstractions which describe various computational processes. Analysis of the computational traces and predictability questions for such models can be formalized as a set of di?erent reachability problems. In general reachability can be formulated as follows: Given a computational system with a set of allowed transformations (functions), decide whether a certain state of a system is rea- able from a given initial state by a set of allowed transformations. The same questions can be asked not only about reachability of exact states of the system but also about a set of states expressed in term of some property as a pa- meterized reachability problem. Another set of predictability questions can be seen in terms of reachability of eligible traces of computations; unavoidability of some dynamics and a possibility to avoid undesirable dynamics using a limited control.