Matching Items (403)
Filtering by
- All Subjects: Choruses
ContributorsSchildkret, David (Conductor) / Chamber Singers (Performer) / ASU Library. Music Library (Publisher)
Created2018-02-10
![161988-Thumbnail Image.png](https://d1rbsgppyrdqq4.cloudfront.net/s3fs-public/styles/width_400/public/2021-11/161988-Thumbnail%20Image.png?versionId=aS1sAdOH0tajO3gkjzfD.L7Dk14Qir6p&X-Amz-Content-Sha256=UNSIGNED-PAYLOAD&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIASBVQ3ZQ42ZLA5CUJ/20240617/us-west-2/s3/aws4_request&X-Amz-Date=20240617T152637Z&X-Amz-SignedHeaders=host&X-Amz-Expires=120&X-Amz-Signature=0c0e02ca99bfb32f7c9731eba2a20cc8f6a5c6bc1b0097a1b6b11be0111d9252&itok=9fttMUeu)
Description
Autonomous Vehicles (AV) are inevitable entities in future mobility systems thatdemand safety and adaptability as two critical factors in replacing/assisting human
drivers. Safety arises in defining, standardizing, quantifying, and monitoring requirements
for all autonomous components. Adaptability, on the other hand, involves
efficient handling of uncertainty and inconsistencies in models and data. First, I address
safety by presenting a search-based test-case generation framework that can be
used in training and testing deep-learning components of AV. Next, to address adaptability,
I propose a framework based on multi-valued linear temporal logic syntax and
semantics that allows autonomous agents to perform model-checking on systems with
uncertainties. The search-based test-case generation framework provides safety assurance
guarantees through formalizing and monitoring Responsibility Sensitive Safety
(RSS) rules. I use the RSS rules in signal temporal logic as qualification specifications
for monitoring and screening the quality of generated test-drive scenarios. Furthermore,
to extend the existing temporal-based formal languages’ expressivity, I propose
a new spatio-temporal perception logic that enables formalizing qualification specifications
for perception systems. All-in-one, my test-generation framework can be
used for reasoning about the quality of perception, prediction, and decision-making
components in AV. Finally, my efforts resulted in publicly available software. One
is an offline monitoring algorithm based on the proposed logic to reason about the
quality of perception systems. The other is an optimal planner (model checker) that
accepts mission specifications and model descriptions in the form of multi-valued logic
and multi-valued sets, respectively. My monitoring framework is distributed with the
publicly available S-TaLiRo and Sim-ATAV tools.
ContributorsHekmatnejad, Mohammad (Author) / Fainekos, Georgios (Thesis advisor) / Deshmukh, Jyotirmoy V (Committee member) / Karam, Lina (Committee member) / Pedrielli, Giulia (Committee member) / Shrivastava, Aviral (Committee member) / Yang, Yezhou (Committee member) / Arizona State University (Publisher)
Created2021
ContributorsGlenn, Erica (Conductor) / Evans, Bartlett R. (Conductor) / Oh, Eun-Mi (Conductor) / Thompson, Jason D. (Conductor) / Schildkret, David (Conductor) / Concert Choir (Performer) / Arizona Statesmen (Performer) / Women's Chorus (Performer) / Gospel Choir (Performer) / Barrett Choir (Performer) / Chamber Singers (Performer) / Choral Union (Performer) / ASU Library. Music Library (Publisher)
Created2017-11-30
ContributorsUniversity Choirs (Performer) / ASU Library. Music Library (Publisher)
Created2000-11-16
ContributorsSchildkret, David (Conductor) / White, Jamilyn (Performer) / Krison, Danielle (Performer) / Barefield, Robert (Performer) / FitzPatrick, Carole (Performer) / Chamber Singers (Performer) / Choral Union (Performer) / Symphonic Chorale (Performer) / University Symphony Orchestra (Performer) / ASU Library. Music Library (Publisher)
Created2007-04-26
ContributorsLyne, Gregory K. (Performer) / Stutzman, Gina (Performer) / Woodgate, Lyn (Performer) / Cornner, Charles B. (Performer) / Rozukalns, Andris L. (Performer) / Women's Choir (Performer) / University Choir (Performer) / ASU Library. Music Library (Publisher)
Created1996-11-24
ContributorsCherland, Carl (Performer) / Fuller, Charles L. (Performer) / O'Brien, Robert (Performer) / Hooper, Wm. John (Performer) / Graduate Chorale (Performer) / Recital Chorale (Performer) / ASU Library. Music Library (Publisher)
Created1987-10-01
ContributorsRoueche, Michelle (Performer) / Partin, Darrell (Performer) / Wiest-Parthun, Karen (Performer) / Harvison, Emery (Performer) / Hernandez, Rene (Performer) / Foley, Laura (Performer) / Women's Choir (Performer) / ASU Library. Music Library (Publisher)
Created1994-04-21
ContributorsParthun, Karen (Conductor) / Hickman, Miriam, 1955- (Performer) / University Choir (Performer) / Vocal Jazz Ensemble (Performer) / ASU Library. Music Library (Publisher)
Created2000-11-19
ContributorsPeterson, Craig C. (Director) / Butler, Robb (Director) / Forkner, Christina (Contributor) / Leman, Christi (Performer) / Miller, Kenny (Musician) (Performer) / Howard, Johnothon (Performer) / Gibson, Ted (Performer) / Herberger Singers (Performer) / University Choir (Performer) / ASU Library. Music Library (Publisher)
Created2003-10-12