Matching Items (1,074)
Filtering by

Clear all filters

150359-Thumbnail Image.png
Description
S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic

S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic (MTL) to describe the user specifications for the hybrid systems. We then try to falsify the MTL specification using global minimization of robustness metric. Global minimization is carried out using stochastic optimization algorithms like Monte-Carlo (MC) and Extended Ant Colony Optimization (EACO) algorithms. Irrespective of the type of the model we provide as an input to S-Taliro, the user needs to specify the MTL specification, the initial conditions and the bounds on the inputs. S-Taliro then uses this information to generate test inputs which are used to simulate the system. The simulation trace is then provided as an input to Taliro which computes the robustness estimate of the MTL formula. Global minimization of this robustness metric is performed to generate new test inputs which again generate simulation traces which are closer to falsifying the MTL formula. Traces with negative robustness values indicate that the simulation trace falsified the MTL formula. Traces with positive robustness values are also of great importance because they indicate how robust the system is against the given specification. S-Taliro has been seamlessly integrated into the Matlab environment, which is extensively used for model-based development of control software. Moreover the toolbox has been developed in a modular fashion and therefore adding new optimization algorithms is easy and straightforward. In this work I present the architecture of S-Taliro and its working on a few benchmark problems.
ContributorsAnnapureddy, Yashwanth Singh Rahul (Author) / Fainekos, Georgios (Thesis advisor) / Lee, Yann-Hang (Committee member) / Gupta, Sandeep (Committee member) / Arizona State University (Publisher)
Created2011
Description

Consider Steven Cryos’ words, “When disaster strikes, the time to prepare has passed.” Witnessing domestic water insecurity in events such as Hurricane Katrina, the instability in Flint, Michigan, and most recently the winter storms affecting millions across Texas, we decided to take action. The period between a water supply’s disruption

Consider Steven Cryos’ words, “When disaster strikes, the time to prepare has passed.” Witnessing domestic water insecurity in events such as Hurricane Katrina, the instability in Flint, Michigan, and most recently the winter storms affecting millions across Texas, we decided to take action. The period between a water supply’s disruption and restoration is filled with anxiety, uncertainty, and distress -- particularly since there is no clear indication of when, exactly, restoration comes. It is for this reason that Water Works now exists. As a team of students from diverse backgrounds, what started as an honors project with the Founders Lab at Arizona State University became the seed that will continue to mature into an economically sustainable business model supporting the optimistic visions and tenants of humanitarianism. By having conversations with community members, conducting market research, competing for funding and fostering progress amid the COVID-19 pandemic, our team’s problem-solving traverses the disciplines. The purpose of this paper is to educate our readers about a unique solution to emerging issues of water insecurity that are nested across and within systems who could benefit from the introduction of a personal water reclamation system, showcase our team’s entrepreneurial journey, and propose future directions that will this once pedagogical exercise to continue fulfilling its mission: To heal, to hydrate and to help bring safe water to everyone.

ContributorsReitzel, Gage Alexander (Co-author) / Filipek, Marina (Co-author) / Sadiasa, Aira (Co-author) / Byrne, Jared (Thesis director) / Sebold, Brent (Committee member) / Historical, Philosophical & Religious Studies (Contributor) / School of Human Evolution & Social Change (Contributor, Contributor) / Historical, Philosophical & Religious Studies, Sch (Contributor) / Department of Psychology (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148109-Thumbnail Image.png
Description

System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment

System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.

ContributorsAnderson, Jacob (Author) / Fainekos, Georgios (Thesis director) / Yezhou, Yang (Committee member) / Computer Science and Engineering Program (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148112-Thumbnail Image.png
Description

Animals encounter information from different resources simultaneously, integrating input from multiple sensory systems before responding behaviorally. When different cues interact with one another, they may enhance, diminish, or have no impact on their responses. In this project, we test how the presence of chemical cues affect the perception of visual

Animals encounter information from different resources simultaneously, integrating input from multiple sensory systems before responding behaviorally. When different cues interact with one another, they may enhance, diminish, or have no impact on their responses. In this project, we test how the presence of chemical cues affect the perception of visual cues. Zebrafish (Danio rerio) often use both chemical cues and visual cues to communicate with shoal mates, to assess predation risk, and to locate food. For example, zebrafish rely on both olfactory cues and visual cues for kin recognition, and they frequently use both chemical and visual cues to search for and to capture prey. In zebrafish, the terminal nerve (TN) constitutes the olfacto-visual centrifugal pathway and connects the olfactory bulb with the retina, thus allowing olfactory perception also to activate visual receptors. Past studies have found that the presence of an olfactory cue can modulate visual sensitivity in zebrafish through the terminal nerve pathway. Alternatively, given that zebrafish are highly social, the presence of social chemical cues may distract individuals from responding to other visual cues, such as food and predator visual cues. Foraging and predator chemical cues, including chemical food cues and alarm cues, may also distract individuals from responding to non-essential visual cues. Here, we test whether the response to a visual cue either increases or decreases when presented in concert with alanine, an amino acid that represents the olfactory cues of zebrafish prey. We found that the presence of chemical cues did not affect whether zebrafish responded to visual cues, but that the fish took longer to respond to visual cues when chemical cues were also present. These findings suggest that different aspects of behavior could be affected by the interaction between sensory modalities. We also found that this impact of delayed response was significant only when the visual cue<br/>was weak compared to the strength of the chemical cue, suggesting that the salience of interacting cues may also have an influence on determining the outcomes of the interactions. Overall, the interactive effects of chemicals on an animal’s response to visual cues may also have wide-ranging impacts on behavior including foraging, mating, and evading predators, and the interaction of cues may affect different aspects of the same behavior.

ContributorsPuffer, Georgie Delilah (Author) / Martins, Emilia (Thesis director) / Suriyampola, Piyumika (Committee member) / Gerkin, Richard (Committee member) / School of Life Sciences (Contributor) / Department of Psychology (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148115-Thumbnail Image.png
Description

Exploratory Play is a universal experience that occurs throughout different kinds of childhoods. This study investigates how children’s vocabulary and exploratory play are influenced by how the caregiver responds to the child’s communicative bids. We hypothesize that if caregivers use more open-ended questions in response to their child’s communicative bids,

Exploratory Play is a universal experience that occurs throughout different kinds of childhoods. This study investigates how children’s vocabulary and exploratory play are influenced by how the caregiver responds to the child’s communicative bids. We hypothesize that if caregivers use more open-ended questions in response to their child’s communicative bids, children will show higher rates of exploration during free play.

ContributorsMccollum, Shani Monifa (Author) / Lucca, Kelsey (Thesis director) / Spinrad, Tracy (Committee member) / Department of Psychology (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147845-Thumbnail Image.png
Description

In this thesis I will explore deficits in Theory of Mind (ToM) in autistic people due to new evidence that they do not completely lack a ToM. A new theory is proposed, claiming that autistic people use a Hyper Theory of Mind (HyperToM) which has some application and processing differences

In this thesis I will explore deficits in Theory of Mind (ToM) in autistic people due to new evidence that they do not completely lack a ToM. A new theory is proposed, claiming that autistic people use a Hyper Theory of Mind (HyperToM) which has some application and processing differences from typical ToM. The HyperToM test will be administered as an online questionnaire that includes a self-reported Autism Quotient (AQ) section. The study is done in low support needs autistic (LSA) adults, which should have a developed ToM due to age and ability. Results showed some correlations with the AQ symptoms and HyperToM, but not enough diagnosed autistic people (9) participated in this study for significant results.

ContributorsMarkov, Vlada A (Author) / Fabricius, William (Thesis director) / Philips, Ben (Committee member) / Department of Psychology (Contributor) / Dean, W.P. Carey School of Business (Contributor) / School of Life Sciences (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147849-Thumbnail Image.png
Description

Appearance ideals are standards of beauty imposed by a culture or society, that are unrealistic and impossible to achieve. Research documents the existence of three appearance ideals, thin, muscular and hourglass ideals. The thin ideal is the pursuit of a very thin and low body weight. The muscular ideal is

Appearance ideals are standards of beauty imposed by a culture or society, that are unrealistic and impossible to achieve. Research documents the existence of three appearance ideals, thin, muscular and hourglass ideals. The thin ideal is the pursuit of a very thin and low body weight. The muscular ideal is the pursuit of a toned and fit body. The hourglass ideal is the pursuit of a shapely body with bigger breasts and hips/buttocks than waist. These ideals are associated with disordered eating. However, no current study has examined the prevalence of all three ideals, or how the combination of ideals relates to dietary restraint, one example of a disordered eating behavior. This study was conducted on 505 undergraduate women at Arizona State University, who were completing research credit for a psychology course. The women participated in an online survey that assessed their demographics, each ideal, and dietary restraint. Results show that all combinations of ideals exist. Specifically, 41.5% of the sample endorse high levels of all three ideals, while 12.5% report thin and muscular ideals, 9.5% report thin and hourglass ideals, 9.9% report hourglass and muscular ideals, 8.4% report low levels of all three ideals, 6.4% report muscular ideal only, 6.4% report hourglass ideal only, and 5.6% report thin ideal only. Endorsing more than one ideal significantly associated with dietary restraint. Findings fulfill an important gap in the literature, suggest future directions for research, and have important clinical implications.

ContributorsByrd, Jordyn (Author) / Perez, Marisol (Thesis director) / Hernández, Juan (Committee member) / Department of Psychology (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147869-Thumbnail Image.png
Description

Mayer-Rokitansky-Küster-Hauser (MRKH) is a rare Disorder of Sexual Development (DSD) that results in the lack of a uterus and vagina in women. Receiving this diagnosis during adolescence can cause various forms of psychological distress in patients and families.<br/>Specifically, this condition could affect a women’s gender identity, body image, romantic relationships,

Mayer-Rokitansky-Küster-Hauser (MRKH) is a rare Disorder of Sexual Development (DSD) that results in the lack of a uterus and vagina in women. Receiving this diagnosis during adolescence can cause various forms of psychological distress in patients and families.<br/>Specifically, this condition could affect a women’s gender identity, body image, romantic relationships, family relationships, and psychological wellbeing. Parents are also put in a stressful<br/>position as they now have to navigate the healthcare system, disclosure, and the relationship with their child. This study aims to expand the knowledge of psychosocial adjustment by studying body<br/>image, gender identity, and mental health in individuals living with MRKH as well as parental disclosure, parental support systems, and parental perceptions of their child’s mental health.

ContributorsLaloudakis, Vasiliki (Author) / Wilson, Melissa (Thesis director) / Fontinha de Alcantara, Christiane (Committee member) / Baimbridge, Erica (Committee member) / Department of Psychology (Contributor) / School of Life Sciences (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148166-Thumbnail Image.png
Description

This study tested the effect of status threat on ingroup identification and examined identity concealability and stereotype endorsement as moderators of the relationship. Participants included a visible identity group (Asian men) and a concealable identity group (gay men). Participants were randomized into either a status threat condition, in which they

This study tested the effect of status threat on ingroup identification and examined identity concealability and stereotype endorsement as moderators of the relationship. Participants included a visible identity group (Asian men) and a concealable identity group (gay men). Participants were randomized into either a status threat condition, in which they read a vignette that reminded them of a negative stereotype about the target group and discussed positive stereotypes of the group as well, or a control condition that discussed positive stereotypes only. Participants then responded to a measure of ingroup identification and a measure of stereotype endorsement. A significant main effect of status threat on ingroup identification was found, such that participants in the status threat condition showed lower ingroup identification. The interaction of condition and concealability was not significant. The interaction of condition and stereotype endorsement was marginally significant, such that the main effect shows up stronger for those lower on stereotype endorsement. The main effect is interpreted as a potential protective strategy for self-esteem. The stereotype threat interaction is interpreted as a difference in the way that those who do and do not endorse the stereotype view the legitimacy of the status threat.

ContributorsWeathers, Shelby E (Author) / Shiota, Michelle (Thesis director) / Kenrick, Douglas (Committee member) / Wiezel, Adi (Committee member) / Department of Psychology (Contributor) / Sanford School of Social and Family Dynamics (Contributor) / Watts College of Public Service & Community Solut (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148021-Thumbnail Image.png
Description

Since the inception of what is now known as the Behavioral Analysis Unit (BAU) at the Federal Bureau of Investigation (FBI) in the 1970s, criminal profiling has become an increasingly prevalent entity in both forensic science and the popular imagination. The fundamental idea of which profiling is premised – behavior

Since the inception of what is now known as the Behavioral Analysis Unit (BAU) at the Federal Bureau of Investigation (FBI) in the 1970s, criminal profiling has become an increasingly prevalent entity in both forensic science and the popular imagination. The fundamental idea of which profiling is premised – behavior as a reflection of personality – has been the subject of a great deal of misunderstanding, with professionals and nonprofessionals alike questioning whether profiling represents an art or a science and what its function in forensic science should be. To provide a more thorough understanding of criminal profiling’s capabilities and its efficacy as a law enforcement tool, this thesis will examine the application of criminal profiling to investigations, various court rulings concerning profiling’s admissibility, and the role that popular media plays in the perception and function of the practice. It will also discuss how future research and regulatory advancements may strengthen criminal profiling’s scientific merit and legitimacy.

ContributorsGeraghty, Bridget Elizabeth (Author) / Kobojek, Kimberly (Thesis director) / Gruber, Diane (Committee member) / School of International Letters and Cultures (Contributor) / Department of Psychology (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05