Skip to main content
chuchu
Building Safe Autonomy
Search form
Search
Biblio
Found 1 results
Filters:
Keyword
is
Embedded System
and
Author
is
Kapinski, James
[Clear All Filters]
2017
Fan C
,
Kapinski J
,
Jin X
,
Mitra S
. 2017.
Simulation-Driven Reachability Using Matrix Measures
.
ACM Transactions on Embedded Computing Systems. 17:1–28.
Main menu
Home
Publications
About
News
Contact
Recent Publications
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
Density Constrained Reinforcement Learning
Optimal mixed discrete-continuous planning for linear hybrid systems
Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
Planning in Dynamic and Partially Unknown Environments
Controller synthesis for linear system with reach-avoid specifications
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
Reactive motion planning with probabilistics safety guarantees
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
More...
