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

This thesis research aims to define, identify, and promote community theatre as a “third space” for disadvantaged youth. A third space is defined by the Oxford dictionary as “...the in-between, or hybrid, spaces, where the first and second spaces work together to generate a new third space. First and second

This thesis research aims to define, identify, and promote community theatre as a “third space” for disadvantaged youth. A third space is defined by the Oxford dictionary as “...the in-between, or hybrid, spaces, where the first and second spaces work together to generate a new third space. First and second spaces are two different, and possibly conflicting, spatial groupings where people interact physically and socially: such as home (everyday knowledge) and school (academic knowledge)” (Oxford Dictionary, 2021). For disadvantaged youth, the creation of a third space in the theatre can give them a safe environment away from issues they may have at home or at school, it can further their learning about themselves and others, and it can also help those youth feel a sense of belonging to a community larger than themselves. Because of these benefits, it is clear that performing arts programs can offer a great impact on disadvantaged youth; however, many theatre companies struggle to market their programming to said communities. This may be in part, due to low marketing budgets, no specificity in labor resources dedicated to youth programming, or ineffective marketing strategies and tactics.<br/>In order to ideate marketing recommendations for these organizations, primary research was conducted to determine the attitudes and beliefs revolving around youth participation in community theatre, as well as the current marketing strategies and tactics being utilized by programmers. Participants included program managers of youth theatre programs, as well as youth participants from several major cities in the U. S. The secondary research aims to better understand the target demographic (disadvantaged youth), the benefits derived from participation in arts programming, and marketing strategies for the performing arts. Following data analysis are several recommendations for the learning, planning, and implementation of marketing strategies for theatre programmers.

ContributorsNarducci, Emily Nicole (Co-author) / Feuerstein, Kaleigh (Co-author) / Gray, Nancy (Thesis director) / Woodson, Stephani (Committee member) / Department of Marketing (Contributor) / Department of Information Systems (Contributor) / Walter Cronkite School of Journalism and Mass Comm (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147859-Thumbnail Image.png
Description

This thesis research aims to define, identify, and promote community theatre as a “third space” for disadvantaged youth. A third space is defined by the Oxford dictionary as “...the in-between, or hybrid, spaces, where the first and second spaces work together to generate a new third space. First and second

This thesis research aims to define, identify, and promote community theatre as a “third space” for disadvantaged youth. A third space is defined by the Oxford dictionary as “...the in-between, or hybrid, spaces, where the first and second spaces work together to generate a new third space. First and second spaces are two different, and possibly conflicting, spatial groupings where people interact physically and socially: such as home (everyday knowledge) and school (academic knowledge)” (Oxford Dictionary, 2021). For disadvantaged youth, the creation of a third space in the theatre can give them a safe environment away from issues they may have at home or at school, it can further their learning about themselves and others, and it can also help those youth feel a sense of belonging to a community larger than themselves. Because of these benefits, it is clear that performing arts programs can offer a great impact on disadvantaged youth; however, many theatre companies struggle to market their programming to said communities. This may be in part, due to low marketing budgets, no specificity in labor resources dedicated to youth programming, or ineffective marketing strategies and tactics. This research aims to provide tangible recommendations for youth programmers to better involve their target audience.

ContributorsFeuerstein, Kaleigh Nicole (Co-author) / Narducci, Emily (Co-author) / Gray, Nancy (Thesis director) / Woodson, Stephani (Committee member) / Dean, W.P. Carey School of Business (Contributor) / Department of Marketing (Contributor) / Department of Management and Entrepreneurship (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148170-Thumbnail Image.png
Description

Music has consistently been documented as a manner to bring people together across cultures throughout the world. In this research, we propose that people use similar musical taste as a strong sign of potential social connection. To investigate this notion, we draw on literature examining how music merges the public/private

Music has consistently been documented as a manner to bring people together across cultures throughout the world. In this research, we propose that people use similar musical taste as a strong sign of potential social connection. To investigate this notion, we draw on literature examining how music merges the public/private self, the link to personality, and group identity, as well as how it is linked to romantic relationships. Thus, music can be a tool when wanting to get to know someone else and/or forge a platonic relationship. To test this hypothesis, we designed an experiment comparing music relative to another commonality (sharing a sports team in common) to see which factor is stronger in triggering an online social connection. We argue that people believe they have more in common with someone who shares similar music taste compared to other commonalities. We discuss implications for marketers on music streaming platforms.

ContributorsDrambarean, Julianna Rose (Co-author) / Simmons, Logan (Co-author) / Samper, Adriana (Thesis director) / Martin, Nathan (Committee member) / Department of Marketing (Contributor) / Watts College of Public Service & Community Solut (Contributor) / Dean, W.P. Carey School of Business (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
147816-Thumbnail Image.png
Description

Especially during the current COVID-19 pandemic and age of social unrest in the United States, there has been an increasing need for comfort, yet the idea of comfort is quite vague and rarely elaborated upon. To simplify the idea of comfort and communicate the ideas around it effectively, I am

Especially during the current COVID-19 pandemic and age of social unrest in the United States, there has been an increasing need for comfort, yet the idea of comfort is quite vague and rarely elaborated upon. To simplify the idea of comfort and communicate the ideas around it effectively, I am defining comfort as a subset of escapism in which a person escapes to reduce or alleviate feelings of grief or distress. As companies rush to comfort their customers in this current state of uncertainty, marketers are pressed to identify people’s insecurities and comfort them without coming off as insensitive or trite. Current comfort marketing focuses on inspiring nostalgia in its customers, having them recall previous positive experiences or feelings to comfort them. Nostalgic marketing techniques may ease mild grief in some cases, but using them to alleviate severe distress probably will not be as effective, and has contributed to several seemingly out-of-touch “COVID-19 era” commercials.<br/>When addressing comfort, marketers should understand the type and hierarchy of comfort that they are catering to. Not all comforts are equal, in that some comforts make us feel better than others and some do not comfort us at all. A better understanding of how and why comforts change among different individuals, and possibly being able to predict the comfort preference based on a product or service, will help marketers market their goods and services more effectively. By diversifying and specializing comfort marketing using this hierarchical method, marketers will be able to more significantly reach their customers during “uncertain times.”

ContributorsTarpley, Rachel Michelle (Author) / Eaton, John (Thesis director) / Mokwa, Michael (Committee member) / Department of Management and Entrepreneurship (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
148212-Thumbnail Image.png
Description

Developed a business product with a team of CS students.

ContributorsPerri, Cole Thomas (Co-author) / Hernandez, Maximilliano (Co-author) / Schneider, Kaitlin (Co-author) / Call, Andy (Thesis director) / Hunt, Neil (Committee member) / School of Accountancy (Contributor) / Watts College of Public Service & Community Solut (Contributor) / WPC Graduate Programs (Contributor) / Barrett, The Honors College (Contributor)
Created2021-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
151793-Thumbnail Image.png
Description
Linear Temporal Logic is gaining increasing popularity as a high level specification language for robot motion planning due to its expressive power and scalability of LTL control synthesis algorithms. This formalism, however, requires expert knowledge and makes it inaccessible to non-expert users. This thesis introduces a graphical specification environment to

Linear Temporal Logic is gaining increasing popularity as a high level specification language for robot motion planning due to its expressive power and scalability of LTL control synthesis algorithms. This formalism, however, requires expert knowledge and makes it inaccessible to non-expert users. This thesis introduces a graphical specification environment to create high level motion plans to control robots in the field by converting a visual representation of the motion/task plan into a Linear Temporal Logic (LTL) specification. The visual interface is built on the Android tablet platform and provides functionality to create task plans through a set of well defined gestures and on screen controls. It uses the notion of waypoints to quickly and efficiently describe the motion plan and enables a variety of complex Linear Temporal Logic specifications to be described succinctly and intuitively by the user without the need for the knowledge and understanding of LTL specification. Thus, it opens avenues for its use by personnel in military, warehouse management, and search and rescue missions. This thesis describes the construction of LTL for various scenarios used for robot navigation using the visual interface developed and leverages the use of existing LTL based motion planners to carry out the task plan by a robot.
ContributorsSrinivas, Shashank (Author) / Fainekos, Georgios (Thesis advisor) / Baral, Chitta (Committee member) / Burleson, Winslow (Committee member) / Arizona State University (Publisher)
Created2013
151653-Thumbnail Image.png
Description
Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling

Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling language in order to enhance expressivity, such as incorporating aggregates and interfaces with ontologies. Also, in order to overcome the grounding bottleneck of computation in ASP, there are increasing interests in integrating ASP with other computing paradigms, such as Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). Due to the non-monotonic nature of the ASP semantics, such enhancements turned out to be non-trivial and the existing extensions are not fully satisfactory. We observe that one main reason for the difficulties rooted in the propositional semantics of ASP, which is limited in handling first-order constructs (such as aggregates and ontologies) and functions (such as constraint variables in CP and SMT) in natural ways. This dissertation presents a unifying view on these extensions by viewing them as instances of formulas with generalized quantifiers and intensional functions. We extend the first-order stable model semantics by by Ferraris, Lee, and Lifschitz to allow generalized quantifiers, which cover aggregate, DL-atoms, constraints and SMT theory atoms as special cases. Using this unifying framework, we study and relate different extensions of ASP. We also present a tight integration of ASP with SMT, based on which we enhance action language C+ to handle reasoning about continuous changes. Our framework yields a systematic approach to study and extend non-monotonic languages.
ContributorsMeng, Yunsong (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Fainekos, Georgios (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2013
151780-Thumbnail Image.png
Description
Objective of this thesis project is to build a prototype using Linear Temporal Logic specifications for generating a 2D motion plan commanding an iRobot to fulfill the specifications. This thesis project was created for Cyber Physical Systems Lab in Arizona State University. The end product of this thesis is creation

Objective of this thesis project is to build a prototype using Linear Temporal Logic specifications for generating a 2D motion plan commanding an iRobot to fulfill the specifications. This thesis project was created for Cyber Physical Systems Lab in Arizona State University. The end product of this thesis is creation of a software solution which can be used in the academia and industry for research in cyber physical systems related applications. The major features of the project are: creating a modular system for motion planning, use of Robot Operating System (ROS), use of triangulation for environment decomposition and using stargazer sensor for localization. The project is built on an open source software called ROS which provides an environment where it is very easy to integrate different modules be it software or hardware on a Linux based platform. Use of ROS implies the project or its modules can be adapted quickly for different applications as the need arises. The final software package created and tested takes a data file as its input which contains the LTL specifications, a symbols list used in the LTL and finally the environment polygon data containing real world coordinates for all polygons and also information on neighbors and parents of each polygon. The software package successfully ran the experiment of coverage, reachability with avoidance and sequencing.
ContributorsPandya, Parth (Author) / Fainekos, Georgios (Thesis advisor) / Dasgupta, Partha (Committee member) / Lee, Yann-Hang (Committee member) / Arizona State University (Publisher)
Created2013