Matching Items (169)
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
148108-Thumbnail Image.png
Description

This 15-week long course is designed to introduce students, specifically in Arizona, to basic sustainability and conservation principles in the context of local reptile wildlife. Throughout the course, the students work on identifying the problem, creating visions for the desired future, and finally developing a strategy to help with reptile

This 15-week long course is designed to introduce students, specifically in Arizona, to basic sustainability and conservation principles in the context of local reptile wildlife. Throughout the course, the students work on identifying the problem, creating visions for the desired future, and finally developing a strategy to help with reptile species survival in the valley. Research shows that animals in the classroom have led to improved academic success for students. Thus, through creating this course I was able to combine conservation and sustainability curriculum with real-life animals whose survival is directly being affected in the valley. My hope is that this course will help students identify a newfound passion and call to action to protect native wildlife. The more awareness and actionable knowledge which can be brought to students in Arizona about challenges to species survival the more likely we are to see a change in the future and a stronger sense of urgency for protecting wildlife. In order to accomplish these goals, the curriculum was developed to begin with basic concepts of species needs such as food and shelter and basic principles of sustainability. As the course progresses the students analyze current challenges reptile wildlife faces, like urban sprawl, and explore options to address these challenges. The course concludes with a pilot pitch where students present their solution projects to the school.

ContributorsGoethe, Emma Rae (Author) / Brundiers, Katja (Thesis director) / Bouges, Olivia (Committee member) / School of Sustainability (Contributor, Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147975-Thumbnail Image.png
Description

As climate change continues to escalate natural hazards around the globe, certain communities feel the impacts of these disasters more so than others. After Hurricane Maria devastated communities in 2017, Puerto Rico struggled to respond to the needs of its citizens, particularly those in rural areas. Many of the regions

As climate change continues to escalate natural hazards around the globe, certain communities feel the impacts of these disasters more so than others. After Hurricane Maria devastated communities in 2017, Puerto Rico struggled to respond to the needs of its citizens, particularly those in rural areas. Many of the regions affected did not have resilient community structures in place to be able to withstand the systemic ripple effects of the hurricane. However, various community endeavors have developed post-Hurricane Maria to foster community collaboration and resiliency, including the development of agricultural tourism, otherwise known as agritourism. <br/>Although agritourism has begun to develop in rural regions of Puerto Rico, including the municipalities of Utuado, Ciales, Florida, and Jayuya, a systems-understanding is lacking of the current agritourism situation in the region and its related capacities, limitations, and opportunities of agritourism. To address this gap, a spatially explicit understanding and map of the underlying tourism infrastructure is needed to support the development of sustainable agritourism in Utuado, Jayuya, Ciales, and Florida municipalities in Puerto Rico. <br/>This report spatially represents the current state of tourism opportunities in the region as a result of asking “What are the spatial networks of gastronomy, accommodations, farms, and attractions that support the development of agritourism in Utuado, Jayuya, Ciales and Florida municipalities in Puerto Rico?” Three steps lead to the spatial representation starting with developing a comprehensive inventory. Second, we visualize the spatial map through Google Maps. Lastly, we explore the larger context of the report through an ArcGIS Storymap. The inventory will help with better understanding the number and variety of tourism resources available. The spatial visualization will help with understanding the distribution of resources and explore potential connections between resources and what relationships could be fostered in the future. Lastly, the ArcGIS Storymap will serve as a framework for outlining the future development of the SARE project. Overall, this report outlines the spatial maps of tourism resources and provides a tool to be used by community partners, tourists, and project partners.

ContributorsCretors, Kasey Ann (Author) / Brundiers, Katja (Thesis director) / Holladay, Patrick (Committee member) / Lazaro, Pablo Mendez (Committee member) / School of International Letters and Cultures (Contributor) / School of Sustainability (Contributor) / Division of Teacher Preparation (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
Description

Food insecure populations suffer from the ability to access affordable and nutritious foods as a result of financial and transportation needs. Often these populations are concentrated in areas referenced as food deserts. A food desert is an area that does not have a supermarket or large grocery store within a

Food insecure populations suffer from the ability to access affordable and nutritious foods as a result of financial and transportation needs. Often these populations are concentrated in areas referenced as food deserts. A food desert is an area that does not have a supermarket or large grocery store within a mile and often is saturated with small non-traditional food stores and fast- food establishments. In this study, 21 food deserts along Grand Avenue in Downtown Phoenix were analyzed to better understand their access to food, population statistics and barriers to being food secure. The research question analyzed is the impact food insecurity has on communities in Phoenix, Arizona. The findings are presented in the form of a research paper, as well as 15 black and white film photographs accompanied by descriptions. There is primary qualitative data presented through photographs and observations, as well as secondary quantitative data analyzed from Census data. The food deserts studied consist of communities that are low-income and majority minority with little to no access to nutritious food in their area. The economics of food insecurity and grocery stores, racial discrimination, access to transportation, impacts on health and education and the sustainability of food deserts are all aspects of food insecurity discussed in the research. Possible solutions such as community gardens and subsidized grocery stores are also presented. The study revealed that food insecurity has several negative impacts on the affected populations and communities and disproportionately impacts low-income and minority communities.

ContributorsHollinshead, Samantha Nadine (Author) / Liao, Chuan Liao (Thesis director) / Bavousett, Brigitte Bavousett (Committee member) / School of Sustainability (Contributor) / School of Social Transformation (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148085-Thumbnail Image.png
Description

Is there a mismatch between urban farmers’ perceptions of their farm’s environmental sustainability and its actual environmental impact? Focusing on the use of water and nutrients on each farm as described by the farmers through interviews, it is evident that there is some level of disconnect between ideals and practices.

Is there a mismatch between urban farmers’ perceptions of their farm’s environmental sustainability and its actual environmental impact? Focusing on the use of water and nutrients on each farm as described by the farmers through interviews, it is evident that there is some level of disconnect between ideals and practices. This project may aid in bridging the gap between the two in regard to the farmers’ sustainability goals. This project will move forward by continuing interviews with farmers as well as collecting soil and water from the farms in order to more accurately quantify the sustainability of the farms’ practices. This project demonstrates that there is some degree of misalignment between perception and reality. Two farms claimed they were sustainable when their practices did not reflect that, while 2 farms said they were not sure if they were sustainable when their practices indicated otherwise. Samples from two farms showed high concentrations of nutrients and salts, supporting the idea that there may be a mismatch between perceived and actual sustainability.

ContributorsBonham, Emma Eileen (Author) / Muenich, Rebecca (Thesis director) / Zanin, Alaina (Committee member) / Civil, Environmental and Sustainable Eng Program (Contributor) / School of Sustainability (Contributor) / School of Sustainable Engineering & Built Envirnmt (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
137706-Thumbnail Image.png
Description
Despite similar climate, ecosystem, and population size, the cities of Hermosillo, Mexico and Mesa, USA manage their water very differently. Mesa has a stable and resilient system organized around state and federal regulations. Hermosillo, after rapidly industrializing, has not been able to cope with climate change and long-term drought conditions.

Despite similar climate, ecosystem, and population size, the cities of Hermosillo, Mexico and Mesa, USA manage their water very differently. Mesa has a stable and resilient system organized around state and federal regulations. Hermosillo, after rapidly industrializing, has not been able to cope with climate change and long-term drought conditions. Water distribution statistics, stakeholders, policy structure, and government organization were combined in an organizational framework to compare the practices of the two cities. These inputs were weighed against the outcomes and the sustainability of each system. While Mesa is part of a massive metropolitan area, Hermosillo is still developing into a metropolitan center and does not have access to the same infrastructure and resources. In Hermosillo local needs are frequently discounted in favor of broad political goals.
ContributorsMoe, Rud Lamb (Author) / Chhetri, Netra (Thesis director) / White, Dave (Committee member) / Robles-Morua, Agustin (Committee member) / Barrett, The Honors College (Contributor) / School of Earth and Space Exploration (Contributor) / School of Sustainability (Contributor) / School of Geographical Sciences and Urban Planning (Contributor)
Created2013-05
137209-Thumbnail Image.png
Description
Social relationships are the single most factor that create joy in human lives. And yet, the ways we are building our cities and structuring our lives reduces our chances of interaction and increases isolation. Creating more public spaces may be a possible solution to this problem of declining social cohesion.

Social relationships are the single most factor that create joy in human lives. And yet, the ways we are building our cities and structuring our lives reduces our chances of interaction and increases isolation. Creating more public spaces may be a possible solution to this problem of declining social cohesion. Public spaces have been shown to improve rates of social cohesion and social interaction. They have also been show to have positive effects on physical health, local economies, the natural environment, reducing crime rates and psychological health. Creating public spaces in areas that are low-income or have limited amounts of space can be very challenging. This paper profiles options of community created spaces, space public spaces and temporary public spaces. All of which are options for low-income and limited space communities. The paper concludes with the summery of an active project to create a public space in such a community through a joint-use agreement.
ContributorsChampagne, Elizabeth Anne (Author) / Golub, Aaron (Thesis director) / Kelley, Jason (Committee member) / Barrett, The Honors College (Contributor) / School of Sustainability (Contributor) / School of Geographical Sciences and Urban Planning (Contributor) / Department of Psychology (Contributor)
Created2014-05
136399-Thumbnail Image.png
Description
Defines the concept of the arcology as conceived by architect Paolo Soleri. Arcology combines "architecture" and "ecology" and explores a visionary notion of a self-contained urban community that has agricultural, commercial, and residential facilities under one roof. Two real-world examples of these projects are explored: Arcosanti, AZ and Masdar City,

Defines the concept of the arcology as conceived by architect Paolo Soleri. Arcology combines "architecture" and "ecology" and explores a visionary notion of a self-contained urban community that has agricultural, commercial, and residential facilities under one roof. Two real-world examples of these projects are explored: Arcosanti, AZ and Masdar City, Abu Dhabi, UAE. Key aspects of the arcology that could be applied to an existing urban fabric are identified, such as urban design fostering social interaction, reduction of automobile dependency, and a development pattern that combats sprawl. Through interviews with local representatives, a holistic approach to applying arcology concepts to the Phoenix Metro Area is devised.
ContributorsSpencer, Sarah Anne (Author) / Manuel-Navarrete, David (Thesis director) / Salon, Deborah (Committee member) / Barrett, The Honors College (Contributor) / School of Geographical Sciences and Urban Planning (Contributor) / School of Sustainability (Contributor)
Created2015-05
151467-Thumbnail Image.png
Description
A semiconductor supply chain modeling and simulation platform using Linear Program (LP) optimization and parallel Discrete Event System Specification (DEVS) process models has been developed in a joint effort by ASU and Intel Corporation. A Knowledge Interchange Broker (KIBDEVS/LP) was developed to broker information synchronously between the DEVS and LP

A semiconductor supply chain modeling and simulation platform using Linear Program (LP) optimization and parallel Discrete Event System Specification (DEVS) process models has been developed in a joint effort by ASU and Intel Corporation. A Knowledge Interchange Broker (KIBDEVS/LP) was developed to broker information synchronously between the DEVS and LP models. Recently a single-echelon heuristic Inventory Strategy Module (ISM) was added to correct for forecast bias in customer demand data using different smoothing techniques. The optimization model could then use information provided by the forecast model to make better decisions for the process model. The composition of ISM with LP and DEVS models resulted in the first realization of what is now called the Optimization Simulation Forecast (OSF) platform. It could handle a single echelon supply chain system consisting of single hubs and single products In this thesis, this single-echelon simulation platform is extended to handle multiple echelons with multiple inventory elements handling multiple products. The main aspect for the multi-echelon OSF platform was to extend the KIBDEVS/LP such that ISM interactions with the LP and DEVS models could also be supported. To achieve this, a new, scalable XML schema for the KIB has been developed. The XML schema has also resulted in strengthening the KIB execution engine design. A sequential scheme controls the executions of the DEVS-Suite simulator, CPLEX optimizer, and ISM engine. To use the ISM for multiple echelons, it is extended to compute forecast customer demands and safety stocks over multiple hubs and products. Basic examples for semiconductor manufacturing spanning single and two echelon supply chain systems have been developed and analyzed. Experiments using perfect data were conducted to show the correctness of the OSF platform design and implementation. Simple, but realistic experiments have also been conducted. They highlight the kinds of supply chain dynamics that can be evaluated using discrete event process simulation, linear programming optimization, and heuristics forecasting models.
ContributorsSmith, James Melkon (Author) / Sarjoughian, Hessam S. (Thesis advisor) / Davulcu, Hasan (Committee member) / Fainekos, Georgios (Committee member) / Arizona State University (Publisher)
Created2012
151687-Thumbnail Image.png
Description

In recent years, an increase of environmental temperature in urban areas has raised many concerns. These areas are subjected to higher temperature compared to the rural surrounding areas. Modification of land surface and the use of materials such as concrete and/or asphalt are the main factors influencing the surface energy

In recent years, an increase of environmental temperature in urban areas has raised many concerns. These areas are subjected to higher temperature compared to the rural surrounding areas. Modification of land surface and the use of materials such as concrete and/or asphalt are the main factors influencing the surface energy balance and therefore the environmental temperature in the urban areas. Engineered materials have relatively higher solar energy absorption and tend to trap a relatively higher incoming solar radiation. They also possess a higher heat storage capacity that allows them to retain heat during the day and then slowly release it back into the atmosphere as the sun goes down. This phenomenon is known as the Urban Heat Island (UHI) effect and causes an increase in the urban air temperature. Many researchers believe that albedo is the key pavement affecting the urban heat island. However, this research has shown that the problem is more complex and that solar reflectivity may not be the only important factor to evaluate the ability of a pavement to mitigate UHI. The main objective of this study was to analyze and research the influence of pavement materials on the near surface air temperature. In order to accomplish this effort, test sections consisting of Hot Mix Asphalt (HMA), Porous Hot Mix asphalt (PHMA), Portland Cement Concrete (PCC), Pervious Portland Cement Concrete (PPCC), artificial turf, and landscape gravels were constructed in the Phoenix, Arizona area. Air temperature, albedo, wind speed, solar radiation, and wind direction were recorded, analyzed and compared above each pavement material type. The results showed that there was no significant difference in the air temperature at 3-feet and above, regardless of the type of the pavement. Near surface pavement temperatures were also measured and modeled. The results indicated that for the UHI analysis, it is important to consider the interaction between pavement structure, material properties, and environmental factors. Overall, this study demonstrated the complexity of evaluating pavement structures for UHI mitigation; it provided great insight on the effects of material types and properties on surface temperatures and near surface air temperature.

ContributorsPourshams-Manzouri, Tina (Author) / Kaloush, Kamil (Thesis advisor) / Wang, Zhihua (Thesis advisor) / Zapata, Claudia E. (Committee member) / Mamlouk, Michael (Committee member) / Arizona State University (Publisher)
Created2013