-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathdocs.html
80 lines (77 loc) · 6.4 KB
/
docs.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
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, shrink-to-fit=no">
<title>CPH</title>
<link rel="stylesheet" href="assets/bootstrap/css/bootstrap.min.css">
<link rel="stylesheet" href="assets/css/Article-List.css">
<link rel="stylesheet" href="assets/css/Contact-Form-Clean.css">
<link rel="stylesheet" href="assets/css/Features-Boxed.css">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/lightbox2/2.8.2/css/lightbox.min.css">
<link rel="stylesheet" href="assets/css/Lightbox-Gallery.css">
<link rel="stylesheet" href="assets/css/Projects-Horizontal.css">
<link rel="stylesheet" href="assets/css/styles.css">
<link rel="stylesheet" href="assets/css/Team-Clean.css">
<link rel="stylesheet" href="assets/css/Team-Grid.css">
</head>
<body>
<div class="projects-horizontal">
<nav class="navbar navbar-light navbar-expand-md bg-light">
<div class="container-fluid"><a class="navbar-brand" href="index.html">CyPhyHouse<img src="assets/img/Picture1.png" height="40"></a><button data-toggle="collapse" class="navbar-toggler" data-target="#navcol-1"><span class="sr-only">Toggle navigation</span><span class="navbar-toggler-icon"></span></button>
<div
class="collapse navbar-collapse" id="navcol-1">
<ul class="nav navbar-nav ml-auto">
<li class="nav-item" role="presentation"><a class="nav-link active" href="docs.html">Publications</a></li>
<li class="nav-item" role="presentation"><a class="nav-link active" href="downloads.html">Downloads</a></li>
<li class="nav-item" role="presentation"><a class="nav-link" href="team.html">Team</a></li>
<li class="nav-item" role="presentation"><a class="nav-link" href="#">Contact Us </a></li>
</ul>
</div><img src="assets/img/NSFlogo.png" height="40"></div>
</nav>
</div>
<div class="projects-horizontal">
<div class="container">
<div class="intro">
<h2 class="text-center">Publications</h2>
</div>
<ul class="list-group">
<li class="list-group-item"><span></span><a href="https://doi.org/10.1109/ITSC48978.2021.9564492"><strong>SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems </strong>(<em>ITSC'21</em>)<br></a><a href="#"></a>
<p><em>Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni and Sayan Mitra</em></p>
<p class="description">This paper presents SkyTrakx—a software toolkit for simulation and verification of Unmanned Aircraft System Traffic Management (UTM) scenarios based on Operation Volumns.
<a href="https://arxiv.org/pdf/2009.04655.pdf">(pdf, extended version on arXiv)</a>
<a href="https://youtu.be/VMLmOHSlmj4">(video presentation)</a>
</p>
</li>
<li class="list-group-item"><span></span><a href="https://doi.org/10.1145/3428300"><strong>Koord: A Language for Programming and Verifying Distributed Robotics Applications </strong>(<em>OOPSLA'20</em>)<br></a><a href="#"></a>
<p><em>Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic and Sayan Mitra</em></p>
<p class="description">This paper presents Koord—a domain specific language for distributed robotics—which abstracts platform-specific functions for sensing, communication, and low-level control.
<a href="assets/docs/koord-OOPSLA2020-preprint.pdf">(pdf, preprint version)</a>
<a href="https://youtu.be/Hf8OUsXBIhc">(video presentation)</a>
</p>
</li>
<li class="list-group-item"><span></span><a href="https://doi.org/10.1109/ICRA40945.2020.9196513"><strong>CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination </strong>(<em>ICRA'20</em>)<br></a><a href="#"></a>
<p><em>Ritwika Ghosh, Joao Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra and Geir Dullerud </em></p>
<p class="description">This paper introduces the CyPhyHouse - a toolchain that aims to provide similar programming, debugging, and deployment benefits for distributed mobile robotic applications.
<a href="https://arxiv.org/pdf/1910.01557.pdf">(pdf, extended version on arXiv)</a>
<a href="https://youtu.be/bxPmpVuFcQM">(video presentation)</a>
</p>
</li>
<li class="list-group-item"><a href="https://dl.acm.org/doi/10.1145/3231104.3231958"><strong>Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical System </strong>(<em>ApPLIED'18</em>)<br></a>
<p><em>Ritwika Ghosh, Sasa Misailovic and Sayan Mitra</em></p>
<p class="description">This paper presents the executable semantics of Koord in the K framework, including tools for formal analyses. <a href="https://dl.acm.org/doi/pdf/10.1145/3231104.3231958">(pdf)</a></p>
</li>
<li class="list-group-item"><a href="https://dl.acm.org/doi/10.1145/2670529.2754966"><strong><span style="text-decoration: underline;">StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems </span></strong>(<em>LCTES '15</em>)<br></a>
<p><em>Yixiao Lin and Sayan Mitra</em></p>
<p class="description">The StarL framework for programming, simulating, and verifying distributed systems that interacts with physical processes is the precursor to CyPhyHouse, and a Java alternative to our Python middleware. <a href="https://arxiv.org/pdf/1502.06286.pdf">(pdf)</a></p>
</li>
</ul>
</div>
</div>
<div class="photo-gallery"></div>
<script src="assets/js/jquery.min.js"></script>
<script src="assets/bootstrap/js/bootstrap.min.js"></script>
<script src="assets/js/smart-forms.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/lightbox2/2.8.2/js/lightbox.min.js"></script>
</body>
</html>