145,247 Hits in 3.6 sec

A Formalism for Stochastic Adaptive Systems [chapter]

Benoît Boyer, Axel Legay, Louis-Marie Traonouez
2014 Lecture Notes in Computer Science  
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

Challenges for Quantitative Analysis of Collective Adaptive Systems [chapter]

Jane Hillston
2014 Lecture Notes in Computer Science  
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

Challenges for Quantitative Analysis of Collective Adaptive Systems [chapter]

Jane Hillston
2014 Lecture Notes in Computer Science  
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

Quantitative Analysis of Collective Adaptive Systems [chapter]

Jane Hillston
2016 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

Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach [article]

Nianyu Li, Di Bai, Zhuoqun Yang, Wenpin Jiao
2017 arXiv   pre-print
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

Some Approaches to Ergodic and Adaptive Control of Stochastic Semilinear Systems [chapter]

T. E. Duncan
1999 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 [2] 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

Page 1689 of Mathematical Reviews Vol. 50, Issue 5 [page]

1975 Mathematical Reviews  
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  ... 

Page 2927 of Mathematical Reviews Vol. , Issue 81G [page]

1981 Mathematical Reviews  
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  ... 


Xuandong Li, Zhiming Liu
2017 Formal Aspects of Computing  
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

Spatially Adaptive Stochastic Multigrid Methods for Fluid-Structure Systems with Thermal Fluctuations [article]

Paul J. Atzberger
2010 arXiv   pre-print
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

Page 1665 of Mathematical Reviews Vol. , Issue 83d [page]

1983 Mathematical Reviews  
“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.  ... 

Page 2274 of Mathematical Reviews Vol. , Issue 2000c [page]

2000 Mathematical Reviews  
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.  ... 

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks

Frederic Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf
2010 2010 Seventh International Conference on the Quantitative Evaluation of Systems  
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

Table of contents

2020 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

Page 1391 of Mathematical Reviews Vol. 48, Issue 4 [page]

1974 Mathematical Reviews  
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