A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
The objective of this paper is to propose a modeling language for adaptive systems whose behaviors depend on stochastic features. ... Our language relies on an extension of stochastic transition systems equipped with (1) an adaptive operator that allows to reason about the probability that a system has to adapt its architecture over ... This paper proposes a complete formalism for the rigorous design of stochastic adaptive systems (SAS), whose components' behaviors and environment changes are represented via stochastic information. ...doi:10.1007/978-3-662-45231-8_12 fatcat:vffqq3lqwbejbllyo4uw6hktvm
Remaining challenges The fluid approximation approach coupled with formal model description in terms of a stochastic process algebra has opened new opportunities for quantified formal analysis of collective ... For this to happen in general systems must be able to adapt autonomously. ...doi:10.1007/978-3-319-14128-2_2 fatcat:jrqlldmka5he3ds5uub3kbir4e
Remaining challenges The fluid approximation approach coupled with formal model description in terms of a stochastic process algebra has opened new opportunities for quantified formal analysis of collective ... For this to happen in general systems must be able to adapt autonomously. ...doi:10.1007/978-3-319-05119-2_2 fatcat:chovm2gaabakhkgjeajqd3uqgy
Lecture Notes in Computer Science
Introduction Quantitative formal methods, such as stochastic process algebras, have been used for the last twenty years to support modelling of dynamic systems in order to investigate their performance ... Other significant challenges for stochastic process algebras when modelling CAS stem from the spatially distributed nature of the entities and the adaptation. ...doi:10.1007/978-3-319-41579-6_1 fatcat:66ijosu525hxxfwfhk6pyllahq
Timed computation tree logic is used to specify system goals and stochastic simulations in dynamic environment are experimented to verify decentralized self-adaptive system's adaptation properties. ... Self-adaptive software is considered as the most advanced approach and its development attracts a lot of attention. ... BEHAVIORS MODELLED BY USING TIMED AUTOMATA A modeling formalism for a decentralized self-adaptive system should allow the representation of uncertain behaviors of the system and communications among its ...arXiv:1706.08271v2 fatcat:3vzzsgf6xvc7fdewppkuqdqz3u
IFIP Advances in Information and Communication Technology
Some ergodic and adaptive control problems for stochastic semilinear systems are described. ... The development of adaptive control for stochastic distributed parameter systems is described commencing with adaptive control problems for linear stochastic systems with quadratic cost functionals. ... The initial work on adaptive control using the semigroup approach is done in  where an adaptive control problem of a partially known linear stochastic system, for example, a stochastic partial differential ...doi:10.1007/978-0-387-35359-3_24 fatcat:jyyrzj2lbjg5xhzhf6wmvmgipu
The paper gives a formal treatment of data-base design. The main features of generalized data-base’ management systems are out- lined. ... The authors present a definition of stochastic e-controllability and controllability with probability one in addition to a number of theorems which establish sufficient conditions for stochastic controllability ...
Author’s summary: “The asymptotic behavior of a Bayes optimal adaptive estimation scheme (also called the partitioned adaptive estimation algorithm) for a sampled stochastic process with un- known parameters ... Authors’ summary: “A reduced order filter is developed for esti- mating the state of a finite-dimensional linear, time-varying, dis- crete-time, stochastic system having cross-correlated white mea- surement ...
Formal methods provide foundations for software development through research on mathematical models, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification ... Formal methods emerged as discipline area of computer science and software engineering half a century ago. ... Wang, et al, proposes an extension to Hybrid CSP (HCSP), a formal modelling language for hybrid systems, by introducing probability and stochasticity to model stochastic hybrid systems, which we call ...doi:10.1007/s00165-017-0431-5 fatcat:eratizfw45b4hea6mimhnxdpzq
In microscopic mechanical systems interactions between elastic structures are often mediated by the hydrodynamics of a solvent fluid. ... The presented approach also allows for the use of spatially adaptive meshes in resolving the hydrodynamic interactions. ... This technical report shows a proof-of-concept approach for efficiently generating the stochastic driving fields in fluid-structure systems using the SELM formalism for hydrodynamic coupling. ...arXiv:1003.2680v1 fatcat:f2ifdwo525dzpmsvwluqkwvhmi
“In the second paper we propose a formal apparatus which can serve as a base for development of the theory of synchronous processes. ... An attempt is made to describe the way to find the minimum of a variable which is controlled by a deterministic system, when using a stochastic automaton as a regulator. ...
A stochastic process is then a map X: P,,++> C; X¥ =X; is adapted if X, € @, (the W*-subalgebra generated by test func- tions on [x, 00) x [y, 00), where z = (x, y)), it is elementary if it is adapted ... Petersburg) Path integral for system with spin. (English summary) J. Phys. A 32 (1999), no.7, 1285-1290. ...
We present SABRE, a tool for stochastic analysis of biochemical reaction networks. ... The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. ... ACKNOWLEDGMENT We thank Marius Mateescu for valuable advices on the web interface and Nick Barton for an introduction to population genetics. ...doi:10.1109/qest.2010.33 dblp:conf/qest/DidierHMW10 fatcat:5v4ku4wkazgsdhjh7bk5ox7uri
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
and Jürgen Teich Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems . . 115 Maryam Bagheri, Edward A. ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Nikhil Naik and Pierluigi Nuzzo Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. . . . . . . . . 58 Moon Soo Kim ...doi:10.1109/memocode51338.2020.9315092 fatcat:ws6ay6jyezdghfo2tlytmuzb6a
The paper gives a formal stability analysis of the formal system Q(x, t)/Ot? ... The author uses results concerning local right continuous martingales and convex functions to develop an interesting duality theory for optimal stochastic control problems for systems governed by Ité equations ...
« Previous Showing results 1 — 15 out of 145,247 results