This repository has been archived by the owner on Oct 22, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathresearch_old.html
279 lines (242 loc) · 13.1 KB
/
research_old.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
<!DOCTYPE html>
<html >
<head>
<!-- Site made with Mobirise Website Builder v4.11.4, https://mobirise.com -->
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="generator" content="Mobirise v4.11.4, mobirise.com">
<meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1">
<link rel="shortcut icon" href="/assets/images/aria_sys_icon.jpg" type="image/x-icon">
<meta name="description" content="ARIA Systems is a research group based out of the Department of Aerospace Engineering at the Universtiy of Colorado Boulder. ">
<title>ARIA Systems Research Group: Projects</title>
<link rel="stylesheet" href="/assets/web/assets/mobirise-icons/mobirise-icons.css">
<link rel="stylesheet" href="/assets/bootstrap/css/bootstrap.min.css">
<link rel="stylesheet" href="/assets/bootstrap/css/bootstrap-grid.min.css">
<link rel="stylesheet" href="/assets/bootstrap/css/bootstrap-reboot.min.css">
<link rel="stylesheet" href="/assets/tether/tether.min.css">
<link rel="stylesheet" href="/assets/dropdown/css/style.css">
<link rel="stylesheet" href="/assets/theme/css/style.css">
<link rel="preload" as="style" href="/assets/mobirise/css/mbr-additional.css"><link rel="stylesheet" href="/assets/mobirise/css/mbr-additional.css" type="text/css">
</head>
<body>
<section class="menu cid-rGpo8SHjG3" once="menu" id="menu2-j">
<nav class="navbar navbar-expand beta-menu navbar-dropdown align-items-center navbar-toggleable-sm">
<button class="navbar-toggler navbar-toggler-right" type="button" data-toggle="collapse" data-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation">
<div class="hamburger">
<span></span>
<span></span>
<span></span>
<span></span>
</div>
</button>
<div class="menu-logo">
<div class="navbar-brand">
<span class="navbar-logo">
<a href="/index.html">
<img src="/assets/images/aria_sys_banner.jpg" alt="Mobirise" title="" style="height: 7.4rem;">
</a>
</span>
</div>
</div>
<div class="collapse navbar-collapse" id="navbarSupportedContent">
<ul class="navbar-nav nav-dropdown nav-right" data-app-modern-menu="true">
<li class="nav-item"><a class="nav-link link text-primary display-4" href="/about.html">ABOUT US</a></li>
<li class="nav-item"><a class="nav-link link text-primary display-4" href="/research.html">RESEARCH</a></li>
<li class="nav-item"><a class="nav-link link text-primary display-4" href="/publications.html">PUBLICATIONS</a></li>
<li class="nav-item"><a class="nav-link link text-primary display-4" href="/people.html">PEOPLE</a></li>
<li class="nav-item"><a class="nav-link link text-primary display-4" href="/outreach.html">OUTREACH</a></li>
<li class="nav-item"><a class="nav-link link text-primary display-4" href="/contact.html">CONTACT</a></li>
<li class="nav-item"><a class="nav-link link text-primary display-4" href="/join.html">JOIN</a></li>
</ul>
</div>
</nav>
</section>
<!-- This defines the basic attributes we want in every page. Centered, and decently wide column. -->
<section class="cid-rHIXRNdSAu">
<br><br><br><br>
<div class="container">
<div class="justify-content-md-center col-md-12">
<h1 class="pb-3 mbr-fonts-style mbr-blue display-2 align-center">Current Projects</h1>
<!-- What do sections do ?? -->
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
<!-- <a href="/projects/safe-synthesis.html">Data-Driven Control Synthesis for Safe and Capable Autonomy</a> -->
<a href="/projects/safe-synthesis.html">Verifiable Control Synthesis through Model-based Learning with Safety Guarantees</a>
</h6>
<div class="mbr-section-text mbr-text text1 mbr-light mbr-fonts-style display-7">
<p>We are combining formal control synthesis and machine learning to tackle uncertainty in autonomous systems applications. By carefully considering the error in the learning process, we aim to develop novel methods for safe control that can adapt to changes in the system and environment.</p>
</div>
</div>
</div>
</section>
<!-- What do sections do ?? -->
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6> Explainable Multi-Agent Planning
</h6>
<div class="mbr-section-text mbr-text text1 mbr-light mbr-fonts-style display-7">
<p>As we begin employing teams of robots to accomplish complex tasks, it becomes difficult for a human to verify that future paths do not result in collisions. Therefore, we are working on new multiagent planning approaches that minimize the effort it takes a human to verify the plan.</p>
</div>
</div>
</div>
</section>
<!-- What do sections do ?? -->
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
<a href="/projects/optimal-tradeoff.html">INPASS: Intelligent Navigation, Planning, and Awareness for Swarm Systems</a>
</h6>
<div class="mbr-section-text mbr-text text1 mbr-light mbr-fonts-style display-7">
<p>This project addresses the need to balance competing objectives for multi-agent autonomous systems in exploration of an environment. We aim to provide formal guarantees on performance and resource consumption objectives by using formal analysis techniques.</p>
</div>
</div>
</div>
</section>
<!-- What do sections do ?? -->
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
<a href="/projects/transfer-learning.html">Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning</a>
</h6>
<div class="mbr-section-text mbr-text text1 mbr-light mbr-fonts-style display-7">
<p>This project explores improvements to embedded control software for safety-critical cyber-physical systems with applications in autonomous transportation, traffic networks, power networks, and aerospace systems. These systems often have complex dynamics that are difficult to obtain in a closed-form and ensure their safety.</p>
</div>
</div>
</div>
</section>
<!-- What do sections do ?? -->
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
<a href="/projects/underwater-autonomy.html">Enabling Long-term Robotic Autonomy: from Learning Specifications to Autonomous Navigation and Interaction</a>
</h6>
<div class="mbr-section-text mbr-text text1 mbr-light mbr-fonts-style display-7">
<p>In this project, we explore the challenges of developing smart and safe long-term autonomy for underwater vehicles.</p>
</div>
</div>
</div>
</section>
<!-- What do sections do ?? -->
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<h2 class="pt-2 mbr-fonts-style display-5">
<h6>
<a href="/projects/safe-adas.html">Design for safe driver assistance systems through cognitive modeling and reactive synthesis</a>
</h6>
</div>
</div>
</section>
<!-- What do sections do ?? -->
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
<a href="/projects/safe-navigation.html">Mapping and motion planning for safe autonomous navigation</a>
</h6>
</div>
</div>
</section>
<!-- What do sections do ?? -->
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
Interactive manipulation through scalable reactive synthesis
</h6>
</div>
</div>
</section>
<h1 class="pb-3 mbr-fonts-style mbr-blue display-2 align-center">Past Work</h1>
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
Resource-performance trade-off for mobile robot design
</h6>
</div>
</div>
</section>
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
Specification revision with optimal satisfaction guarantees
</h6>
</div>
</div>
</section>
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
Decision making and Planning in partially unknown environments
</h6>
</div>
</div>
</section>
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
Planning for probabilistic robots with complex missions
</h6>
</div>
</div>
</section>
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
Automatic control synthesis from high-level specifications
</h6>
</div>
</div>
</section>
<section class="services2 cid-rHJRFuNrwm">
<div class="media-container-row">
<div class="align-left aside-content">
<!-- <h2 class="pt-2 mbr-fonts-style display-5"> -->
<h6>
Verification and synthesis for stochastic hybrid systems
</h6>
</div>
</div>
</section>
</div>
</div>
</section>
<script src="/assets/web/assets/jquery/jquery.min.js"></script>
<script src="/assets/popper/popper.min.js"></script>
<script src="/assets/bootstrap/js/bootstrap.min.js"></script>
<script src="/assets/tether/tether.min.js"></script>
<script src="/assets/smoothscroll/smooth-scroll.js"></script>
<script src="/assets/vimeoplayer/jquery.mb.vimeo_player.js"></script>
<script src="/assets/bootstrapcarouselswipe/bootstrap-carousel-swipe.js"></script>
<script src="/assets/dropdown/js/nav-dropdown.js"></script>
<script src="/assets/dropdown/js/navbar-dropdown.js"></script>
<script src="/assets/touchswipe/jquery.touch-swipe.min.js"></script>
<script src="/assets/ytplayer/jquery.mb.ytplayer.min.js"></script>
<script src="/assets/theme/js/script.js"></script>
<script src="/assets/slidervideo/script.js"></script>
<script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script>
</body>
</html>