Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Cowlagi, Raghvendra V. Contributor Fu, Jie Resource type Dissertation

1. 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

2. 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

3. 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

4. INTERACTIVE ROUTE-PLANNING AND MOBILE SENSING WITH A TEAM OF MULTIPLE ROBOTIC VEHICLES TO SATISFY LINEAR TEMPORAL LOGIC SPECIFICATIONS

Creator:: Fang, Jie
Advisor:: Cowlagi, Raghvendra V.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2020-08-12
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Mechanical Engineering

5. 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