Index Catalog // Hyrax

Skip to Content

Página Principal
Browse
About
- About Us
- Help

Entrar

Explore, Discover, Share

Advanced search

Busca

Remover filtros

Filtragem por: Contributor Cowlagi, Raghvendra V. Remover Contributor: Cowlagi, Raghvendra V. Contributor Fu, Jie Remover Contributor: Fu, Jie

1 - 5 de 5

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

Número de resultados para mostrar por página

10 por página
20 por página
50 por página
100 por página

Ver resultados como:

Lista Gallery Masonry Slideshow

Download search results to .CSV file

Resultados da Busca

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

Palavra-chave:

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

O Criador:

Li, Lening

Advisor:

Fu, Jie

Editor:

Worcester Polytechnic Institute

Data Criada:

2022-12-12

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

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

Palavra-chave:

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

O Criador:

Niu, Luyao

Advisor:

Clark, Andrew

Editor:

Worcester Polytechnic Institute

Data Criada:

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

Palavra-chave:

robust optimization, combinatorial optimization, sensor placement, and submodular

O Criador:

Hou, Qiqiang

Advisor:

Clark, Andrew

Editor:

Worcester Polytechnic Institute

Data Criada:

2020-12-11

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Electrical & Computer Engineering
INTERACTIVE ROUTE-PLANNING AND MOBILE SENSING WITH A TEAM OF MULTIPLE ROBOTIC VEHICLES TO SATISFY LINEAR TEMPORAL LOGIC SPECIFICATIONS

O Criador:

Fang, Jie

Advisor:

Cowlagi, Raghvendra V.

Editor:

Worcester Polytechnic Institute

Data Criada:

2020-08-12

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Mechanical Engineering
Motion-Planning and Control of Autonomous Vehicles to Satisfy Linear Temporal Logic Specifications

Palavra-chave:

Motion Planning and Linear Temporal Logic Specifications

O Criador:

Zhang, Zetian

Advisor:

Cowlagi, Raghvendra V.

Editor:

Worcester Polytechnic Institute

Data Criada:

2018-12-14

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Aerospace Engineering

Filtre sua busca

Collections

PhD Dissertations5

Year

Year range begin – Year range end

Current results range from 2018 to 2022

View distribution

O Criador

Fang, Jie1
Hou, Qiqiang1
Li, Lening1
Niu, Luyao1
Zhang, Zetian1

Advisor

Clark, Andrew2
Cowlagi, Raghvendra V.2
Fu, Jie1

Contributor

Clark, Andrew4
Cowlagi, Raghvendra V.[remove]5
Demetriou, Michael A.3
Fu, Jie[remove]5
Pinciroli, Carlo1
mais Contributors »

Unit (Department)

Aerospace Engineering1
Electrical & Computer Engineering2
Mechanical Engineering1
Robotics Engineering1

Editor

Worcester Polytechnic Institute5

Tipo de recurso

Dissertation5

Um serviço de Samvera .

Hyrax v3.3.0

Copyright © 2018 Samvera Licenciado sob a Licença Apache, Versão 2.0