中国科学技术信息研究所--国家工程技术数字图书馆

Formal Methods Based Motion Planning and Control

[学位论文]

Cai, Mingyu.
The University of Iowa.

原文获取收藏分享

ISBN	9798534662108
作者	Cai, Mingyu.	授予学位单位	The University of Iowa.
导师	Xiao, Shaoping;Kan, Zhen	学位	Ph.D.
学科	Mechanical engineering. Robotics. Electrical engineering. Artificial intelligence. Robots. Simulation. Temporal logic. Planning. Case studies.	国籍	US
页码/总页数	162 p. / 162	出版年	2021
中图分类号	TH, TN, TP18
关键词	Control theory Machine learning Neural network Optimization

相关论文

Learning and Decision-Making in Competitive and Uncertain Systems

Methods for Scientific Simulation, Machine Learning, and Nonlinear Control

Safe End-to-End Learning-based Robot Autonomy via Integrated Perception, Planning, and Control

Nonconvex Optimization and Model Representation with Applications in Control Theory and Machine Learning

Machine Learning-Based Operational Modeling of an Electrochemical Reactor: Handling Data Variability for Experimental Data

相关机构

University of Washington.

Harvard University.

University of Michigan.

University of Washington.

University of California Los Angeles.

相关关键词