Matching Items (2)
Filtering by
- Creators: BurnSilver, Shauna
Description
In this thesis we deal with the problem of temporal logic robustness estimation. We present a dynamic programming algorithm for the robust estimation problem of Metric Temporal Logic (MTL) formulas regarding a finite trace of time stated sequence. This algorithm not only tests if the MTL specification is satisfied by the given input which is a finite system trajectory, but also quantifies to what extend does the sequence satisfies or violates the MTL specification. The implementation of the algorithm is the DP-TALIRO toolbox for MATLAB. Currently it is used as the temporal logic robust computing engine of S-TALIRO which is a tool for MATLAB searching for trajectories of minimal robustness in Simulink/ Stateflow. DP-TALIRO is expected to have near linear running time and constant memory requirement depending on the structure of the MTL formula. DP-TALIRO toolbox also integrates new features not supported in its ancestor FW-TALIRO such as parameter replacement, most related iteration and most related predicate. A derivative of DP-TALIRO which is DP-T-TALIRO is also addressed in this thesis which applies dynamic programming algorithm for time robustness computation. We test the running time of DP-TALIRO and compare it with FW-TALIRO. Finally, we present an application where DP-TALIRO is used as the robustness computation core of S-TALIRO for a parameter estimation problem.
ContributorsYang, Hengyi (Author) / Fainekos, Georgios (Thesis advisor) / Sarjoughian, Hessam S. (Committee member) / Shrivastava, Aviral (Committee member) / Arizona State University (Publisher)
Created2013
Description
Anderies (2015); Anderies et al. (2016), informed by Ostrom (2005), aim to employ robust
feedback control models of social-ecological systems (SESs), to inform policy and the
design of institutions guiding resilient resource use. Cote and Nightingale (2012) note that
the main assumptions of resilience research downplay culture and social power. Addressing
the epistemic gap between positivism and interpretation (Rosenberg 2016), this dissertation
argues that power and culture indeed are of primary interest in SES research.
Human use of symbols is seen as an evolved semiotic capacity. First, representation is
argued to arise as matter achieves semiotic closure (Pattee 1969; Rocha 2001) at the onset
of natural selection. Guided by models by Kauffman (1993), the evolution of a symbolic
code in genes is examined, and thereon the origin of representations other than genetic
in evolutionary transitions (Maynard Smith and Szathmáry 1995; Beach 2003). Human
symbolic interaction is proposed as one that can support its own evolutionary dynamics.
The model offered for wider dynamics in society are “flywheels,” mutually reinforcing
networks of relations. They arise as interactions in a domain of social activity intensify, e.g.
due to interplay of infrastructures, mediating built, social, and ecological affordances (An-
deries et al. 2016). Flywheels manifest as entities facilitated by the simplified interactions
(e.g. organizations) and as cycles maintaining the infrastructures (e.g. supply chains). They
manifest internal specialization as well as distributed intention, and so can favor certain
groups’ interests, and reinforce cultural blind spots to social exclusion (Mills 2007).
The perspective is applied to research of resilience in SESs, considering flywheels a
semiotic extension of feedback control. Closer attention to representations of potentially
excluded groups is justified on epistemic in addition to ethical grounds, as patterns in cul-
tural text and social relations reflect the functioning of wider social processes. Participatory
methods are suggested to aid in building capacity for institutional learning.
feedback control models of social-ecological systems (SESs), to inform policy and the
design of institutions guiding resilient resource use. Cote and Nightingale (2012) note that
the main assumptions of resilience research downplay culture and social power. Addressing
the epistemic gap between positivism and interpretation (Rosenberg 2016), this dissertation
argues that power and culture indeed are of primary interest in SES research.
Human use of symbols is seen as an evolved semiotic capacity. First, representation is
argued to arise as matter achieves semiotic closure (Pattee 1969; Rocha 2001) at the onset
of natural selection. Guided by models by Kauffman (1993), the evolution of a symbolic
code in genes is examined, and thereon the origin of representations other than genetic
in evolutionary transitions (Maynard Smith and Szathmáry 1995; Beach 2003). Human
symbolic interaction is proposed as one that can support its own evolutionary dynamics.
The model offered for wider dynamics in society are “flywheels,” mutually reinforcing
networks of relations. They arise as interactions in a domain of social activity intensify, e.g.
due to interplay of infrastructures, mediating built, social, and ecological affordances (An-
deries et al. 2016). Flywheels manifest as entities facilitated by the simplified interactions
(e.g. organizations) and as cycles maintaining the infrastructures (e.g. supply chains). They
manifest internal specialization as well as distributed intention, and so can favor certain
groups’ interests, and reinforce cultural blind spots to social exclusion (Mills 2007).
The perspective is applied to research of resilience in SESs, considering flywheels a
semiotic extension of feedback control. Closer attention to representations of potentially
excluded groups is justified on epistemic in addition to ethical grounds, as patterns in cul-
tural text and social relations reflect the functioning of wider social processes. Participatory
methods are suggested to aid in building capacity for institutional learning.
ContributorsBožičević, Miran (Author) / Anderies, John M (Thesis advisor) / Bolin, Robert (Committee member) / BurnSilver, Shauna (Committee member) / Arizona State University (Publisher)
Created2017