Viability Theory

Aubin, Jean‐Pierre; Bayen, Alexandre M.; Saint-Pierre, Patrick

doi:10.1007/978-3-642-16684-6

Cited by 473 publications

(629 citation statements)

References 0 publications

Supporting

Mentioning

616

Contrasting

Unclassified

Order By: Relevance

“…The answers to these questions determine the V&V methods that are suitable to keep a particular adaptive system operating within its viability zone. We define the viability zone of an adaptive system as the set of possible states in which the system's requirements and desired properties are satisfied [3].…”

Section: Run-time Vandv Research Enablersmentioning

confidence: 99%

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

Lemos¹,

Giese²,

Müller³

et al. 2013

Lecture Notes in Computer Science

488

347

View full text Add to dashboard Cite

Abstract. The goal of this roadmap paper is to summarize the stateof-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.

show abstract

Section: Run-time Vandv Research Enablersmentioning

confidence: 99%

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

Lemos¹,

Giese²,

Müller³

et al. 2013

Lecture Notes in Computer Science

488

347

View full text Add to dashboard Cite

show abstract

“…starting from x (0) and governed by (1). Definition 2.1 (Viability Kernel [2]): The viability kernel of K under the evolutionary system S is the set Viab S (K) of initial states x (0) ∈ K from which starts at least one evolution x (t) ∈ S (x) viable in K for all times t 0:…”

Section: Viability Theory Background a Viability Theory Conceptsmentioning

confidence: 99%

“…Viability theory develops mathematical and algorithmic methods for investigating the adaptation to viability constraints of evolutions governed by complex systems under uncertainty [2]. Viability is a theory that until now has mostly used in safety verification in control systems [3].…”

Section: Introductionmentioning

confidence: 99%

Fault tolerance evaluation of nonlinear systems using viability theory

Zarch

Poshtan

Puig

2016

2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol)

View full text Add to dashboard Cite

Abstract-This paper presents a computational procedure based on viability theory to evaluate the fault tolerance admissibility of a given fault configuration of a nonlinear system controlled by means of a predictive control law. The admissible solution set for the control problem, including the effect of faults, is determined using viability kernel and capture basin. Finally, water heater part of pasteurization process is provided as benchmark in order to show the usefulness of viability theory for fault tolerance evaluation.

show abstract

“…We define the viability zone of a SAS system as the set of possible system states in which the system operation is not compromised [21]. That is, the set of states where the SAS system's requirements and desired properties (i.e., adaptation goals) are satisfied.…”

Section: The Viability Zone Of Self-adaptive Software Systemsmentioning

confidence: 99%

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

Tamura

Villegas

Müller

et al. 2013

Software Engineering for Self-Adaptive Systems II

View full text Add to dashboard Cite

Abstract. Software validation and verification (V&V) ensures that software products satisfy user requirements and meet their expected quality attributes throughout their lifecycle. While high levels of adaptation and autonomy provide new ways for software systems to operate in highly dynamic environments, developing certifiable V&V methods for guaranteeing the achievement of self-adaptive software goals is one of the major challenges facing the entire research field. In this chapter we (i) analyze fundamental challenges and concerns for the development of V&V methods and techniques that provide certifiable trust in self-adaptive and self-managing systems; and (ii) present a proposal for including V&V operations explicitly in feedback loops for ensuring the achievement of software self-adaptation goals. Both of these contributions provide valuable starting points for V&V researchers to help advance this field.

show abstract

Viability Theory

Cited by 473 publications

References 0 publications

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

Fault tolerance evaluation of nonlinear systems using viability theory

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

Contact Info

Product

Resources

About