Howard Barringer & Klaus Havelund (2011):
TraceContract: A Scala DSL for Trace Analysis.
In: Michael Butler & Wolfram Schulte: FM 2011: Formal Methods,
Lecture Notes in Computer Science 6664.
Springer Berlin Heidelberg,
pp. 57–72,
doi:10.1007/978-3-642-21437-0_7.
Julien Bect (2010):
A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems.
Nonlinear Analysis: Hybrid Systems 4(2),
pp. 357 – 370,
doi:10.1016/j.nahs.2009.07.008.
IFAC World Congress 2008.
Spring Melody Berman (2010):
Abstractions, analysis techniques, and synthesis of scalable control strategies for robot swarms.
University of Pennsylvania.
Available at http://repository.upenn.edu/dissertations/AAI3431100.
Dissertations available from ProQuest. Paper AAI3431100.
Manuela L Bujorianu, Marius C Bujorianu & Savi Maharaj (2005):
Distributed Stochastic Hybrid Systems.
In: Proceedings of IFAC,
pp. 378–378,
doi:10.3182/20050703-6-CZ-1902.00379.
Manuela L. Bujorianu & John Lygeros (2006):
Toward a General Theory of Stochastic Hybrid Systems.
In: HenkA.P. Blom & John Lygeros: Stochastic Hybrid Systems,
Lecture Notes in Control and Information Science 337.
Springer Berlin Heidelberg,
pp. 3–30,
doi:10.1007/11587392_1.
M.H.A. Davis (1993):
Markov Models and Optimization.
Chapman & Hall.
Alexandre Rodrigues Mesquita (2010):
Exploiting Stochasticity in Multi-agent Systems.
University of California.
L. Northrop, P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, D. Schmidtd, K. Sullivan & K. Wallnau (2006):
Ultra-Large-Scale Systems: The Software Challenge of the Future..
Technical Report.
Sofwtare Engineering Institute,
Carnegie-Mellon.
Available at http://www.sei.cmu.edu/uls/.
Joaquin Peña, ChristopherA. Rouff, Mike Hinchey & Antonio Ruiz-Cortés (2011):
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods.
Software & Systems Modeling 10(1),
pp. 55–62,
doi:10.1007/s10270-009-0135-2.
G Pola, ML Bujorianu, J Lygeros & MDD Benedetto (2003):
Stochastic hybrid models: An overview.
In: Proc. IFAC Conf. Anal. Design Hybrid Syst,
pp. 45–50,
doi:10.3182/20050703-6-CZ-1902.00396.
Henry C Tuckwell & Frederic YM Wan (1984):
First-passage time of Markov process to moving barriers.
Journal of applied probability,
pp. 695–709,
doi:10.2307/3213688.
V. Wiels & S. Easterbrook (1998):
Management of evolving specifications using category theory.
In: Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on,
pp. 12–21,
doi:10.1109/ASE.1998.732561.
eptcs@eptcs.org