Index Catalog // Digital WPI

Skip to Content

Home
Browse
About
- About Us
- Help

Login

Explore, Discover, Share

Advanced search

Search Constraints

Start Over

Filtering by: Contributor Clark, Andrew Remove constraint Contributor: Clark, Andrew Contributor Fu, Jie Remove constraint Contributor: Fu, Jie

1 - 5 of 5

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Optimal Control and Reinforcement Learning for Stochastic Systems under Temporal Logic Specifications

Keyword:

Reinforcement Learning, Optimal Control, Temporal Logic, Formal Methods, Robotics, and Markov Decision Process

Creator:

Li, Lening

Advisor:

Fu, Jie

Publisher:

Worcester Polytechnic Institute

Date Created:

2022-12-12

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Robotics Engineering
Secure Control for Autonomous Cyber-Physical Systems Under Temporal Logic Constraints

Keyword:

temporal logic, malicious attack, control barrier functions, Cyber-physical system, stochastic game, and secure control

Creator:

Niu, Luyao

Advisor:

Clark, Andrew

Publisher:

Worcester Polytechnic Institute

Date Created:

2022-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Electrical & Computer Engineering
Non-Submodular Combinatorial Optimization in Control Systems: Efficient Algorithms with Provable Bounds

Keyword:

robust optimization, combinatorial optimization, sensor placement, and submodular

Creator:

Hou, Qiqiang

Advisor:

Clark, Andrew

Publisher:

Worcester Polytechnic Institute

Date Created:

2020-12-11

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Electrical & Computer Engineering
Control Barrier Functions for Safe CPS Under Sensor Faults and Attacks

Keyword:

Adversarial Attacks, Control Barrier Functions, Cyber-Physical Systems, FT-CBFs, and Security in CPS

Creator:

Zhang, Hongchao

Advisor:

Clark, Andrew

Publisher:

Worcester Polytechnic Institute

Date Created:

2020-07-22

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Electrical & Computer Engineering
Motion-Planning and Control of Autonomous Vehicles to Satisfy Linear Temporal Logic Specifications

Keyword:

Motion Planning and Linear Temporal Logic Specifications

Creator:

Zhang, Zetian

Advisor:

Cowlagi, Raghvendra V.

Publisher:

Worcester Polytechnic Institute

Date Created:

2018-12-14

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Aerospace Engineering

Limit your search

Collections

PhD Dissertations4
Masters Theses1

Year

Year range begin – Year range end

Current results range from 2018 to 2022

View distribution

Creator

Hou, Qiqiang1
Li, Lening1
Niu, Luyao1
Zhang, Hongchao1
Zhang, Zetian1

Advisor

Clark, Andrew3
Cowlagi, Raghvendra V.1
Fu, Jie1

Contributor

Clark, Andrew[remove]5
Cowlagi, Raghvendra V.4
Demetriou, Michael A.2
Fu, Jie[remove]5
Pinciroli, Carlo1
more Contributors »

Unit (Department)

Aerospace Engineering1
Electrical & Computer Engineering3
Robotics Engineering1

Publisher

Worcester Polytechnic Institute5

Resource type

Dissertation4
Thesis1

A service of Samvera.

Digital WPI v3.3.0

Copyright © 2024 Samvera Licensed under the Apache License, Version 2.0