Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Drexel University" +contributor:("Balduccini, Marcello"). Showing records 1 – 3 of 3 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Drexel University

1. Nedelcu, Ioan-Alexandru. An Approach and Tool for Reasoning about Situated Cyber-Physical Systems.

Degree: 2015, Drexel University

By situated cyber-physical systems (CPS) we refer to CPS that are located in some physical environment. The term is aimed at highlighting the two-way interaction between CPS and environment, and the subtle, serendipitous, and sometimes unexpected correlations that emerge because of the coexistence in and with a physical environment. For example, a CPS that has an elevated surface temperature will tend to heat the air around it, which in turn may in uence the readings of temperature sensors on nearby CPS, but this conclusion can be drawn only by considering the corresponding physical laws. Unfortunately, these interactions are normally not captured by the modeling methodologies of CPS, but doing so can lead to improved anomaly detection and robustness of designs. In this thesis, we present a method for modeling the interactions of situated CPS, de ne corresponding reasoning algorithms, and introduce a tool that integrates in a state-of-the-art CPS design application and automates the reasoning processes.

M.S., Computer Science  – Drexel University, 2015

Advisors/Committee Members: Balduccini, Marcello.

Subjects/Keywords: Computer science; Rule-based programming; Logic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nedelcu, I. (2015). An Approach and Tool for Reasoning about Situated Cyber-Physical Systems. (Thesis). Drexel University. Retrieved from http://hdl.handle.net/1860/idea:6512

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nedelcu, Ioan-Alexandru. “An Approach and Tool for Reasoning about Situated Cyber-Physical Systems.” 2015. Thesis, Drexel University. Accessed December 04, 2020. http://hdl.handle.net/1860/idea:6512.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nedelcu, Ioan-Alexandru. “An Approach and Tool for Reasoning about Situated Cyber-Physical Systems.” 2015. Web. 04 Dec 2020.

Vancouver:

Nedelcu I. An Approach and Tool for Reasoning about Situated Cyber-Physical Systems. [Internet] [Thesis]. Drexel University; 2015. [cited 2020 Dec 04]. Available from: http://hdl.handle.net/1860/idea:6512.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nedelcu I. An Approach and Tool for Reasoning about Situated Cyber-Physical Systems. [Thesis]. Drexel University; 2015. Available from: http://hdl.handle.net/1860/idea:6512

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Drexel University

2. Young, Ryan David. Architecture for Reasoning in Hybrid Discrete-Continuous Domains.

Degree: 2017, Drexel University

Hybrid domains are those featuring a mix of discrete and continuous variables. Recent research has resulted in sophisticated general purpose languages for modeling hybrid domains such as PDDL+ and H as well as efficient planning algorithms based on translation to logical formalisms. However, other reasoning tasks, such as execution monitoring and diagnosis, have not received as much attention. In this thesis, we address this shortcoming and propose execution monitoring and diagnostic reasoning algorithms based on action language H together with an agent architecture that combines planning, diagnostics, and execution monitoring for hybrid domains. The algorithms are based on an expanded translation of action language H to Constraint Answer Set Programming (CASP), which we developed for this project. We demonstrate our approach on two simple, but non-trivial scenarios including one that we tested on an actual robot.

M.S.S.E., Software Engineering  – Drexel University, 2017

Advisors/Committee Members: Balduccini, Marcello, College of Arts and Sciences.

Subjects/Keywords: Artificial intelligence

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Young, R. D. (2017). Architecture for Reasoning in Hybrid Discrete-Continuous Domains. (Thesis). Drexel University. Retrieved from http://hdl.handle.net/1860/idea:7338

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Young, Ryan David. “Architecture for Reasoning in Hybrid Discrete-Continuous Domains.” 2017. Thesis, Drexel University. Accessed December 04, 2020. http://hdl.handle.net/1860/idea:7338.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Young, Ryan David. “Architecture for Reasoning in Hybrid Discrete-Continuous Domains.” 2017. Web. 04 Dec 2020.

Vancouver:

Young RD. Architecture for Reasoning in Hybrid Discrete-Continuous Domains. [Internet] [Thesis]. Drexel University; 2017. [cited 2020 Dec 04]. Available from: http://hdl.handle.net/1860/idea:7338.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Young RD. Architecture for Reasoning in Hybrid Discrete-Continuous Domains. [Thesis]. Drexel University; 2017. Available from: http://hdl.handle.net/1860/idea:7338

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Drexel University

3. LeBlanc, Emily C. Explaining Actual Causation via Reasoning about Actions and Change.

Degree: 2019, Drexel University

The goal of this research is to investigate and demonstrate the suitability of action languages and answer set programming (ASP) to design and realize a novel framework for explaining actual causation. Actual causation is a broad term that encompasses all possible antecedents that have played a meaningful role in producing a consequence. Attempts to characterize reasoning about actual causation have largely pursued counterfactual analysis of a scenario, inspired by the intuition that if X caused Y, then not Y if not X. However, it has been widely documented that the counterfactual criteria alone is problematic and fails to recognize causation in a number of straightforward cases. Departing from a counterfactual reasoning approach, our framework favors reasoning about the underlying causal mechanisms of the scenario itself in order to explain how an outcome of interest came to be. The framework leverages techniques from Reasoning about Actions and Change to support reasoning about domains that change over time in response to a sequence of events. The action language AL enables us to represent a scenario in terms of the evolution of the state of the world over the course of the scenario's events. AL lends itself naturally to an automated translation in Answer Set Programming (ASP), using which, reasoning tasks of considerable complexity can be specified and executed. In this dissertation, we present a theoretical framework for reasoning about actual causation and demonstrate that the framework enables reasoning about traditionally challenging examples of actual cause. We also present a sound and complete implementation of the theoretical framework in ASP, along with a collection of empirical studies that evaluate and analyze the framework's performance on a number of novel and challenging problems.

Ph.D., Computer Science  – Drexel University, 2019

Advisors/Committee Members: Ontañón, Santiago (Computer scientist), Balduccini, Marcello, College of Computing and Informatics.

Subjects/Keywords: Computer science; Artificial intelligence; Logic programming; Causation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LeBlanc, E. C. (2019). Explaining Actual Causation via Reasoning about Actions and Change. (Thesis). Drexel University. Retrieved from https://idea.library.drexel.edu/islandora/object/idea%3A9522

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

LeBlanc, Emily C. “Explaining Actual Causation via Reasoning about Actions and Change.” 2019. Thesis, Drexel University. Accessed December 04, 2020. https://idea.library.drexel.edu/islandora/object/idea%3A9522.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

LeBlanc, Emily C. “Explaining Actual Causation via Reasoning about Actions and Change.” 2019. Web. 04 Dec 2020.

Vancouver:

LeBlanc EC. Explaining Actual Causation via Reasoning about Actions and Change. [Internet] [Thesis]. Drexel University; 2019. [cited 2020 Dec 04]. Available from: https://idea.library.drexel.edu/islandora/object/idea%3A9522.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

LeBlanc EC. Explaining Actual Causation via Reasoning about Actions and Change. [Thesis]. Drexel University; 2019. Available from: https://idea.library.drexel.edu/islandora/object/idea%3A9522

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.