other

forum

Visible to the public HNLN: Spacecraft Rendezvous

Submitted by younger on Fri, 05/11/2018 - 11:21pm

Dear all:

We computed the reachable set for the nonlinear spacecraft rendezvous with C2E2 and wanted to share our results:

file

Visible to the public Laub-Loomis.hyxml

Submitted by younger on Mon, 05/07/2018 - 7:33pm
file

Visible to the public large.png

Submitted by younger on Mon, 05/07/2018 - 7:33pm
file

Visible to the public small.png

Submitted by younger on Mon, 05/07/2018 - 7:33pm
forum

Visible to the public CNLN: Laub-Loomis

Submitted by younger on Mon, 05/07/2018 - 7:33pm

Dear all,

I am Yangge Li from UIUC. We computed the reachable set for the nonlinear Laub-Loomis with C2E2 and wanted to share our results:

file

Visible to the public Call for Submissions 2018.pdf

Submitted by althoff on Sat, 12/23/2017 - 8:37am
news

Visible to the public The Best ARCH 2017 Paper Award Tool Award goes to Stanley Bak and Parasara Sridhar Duggirala

Submitted by althoff on Mon, 06/05/2017 - 12:10pm

The Best ARCH 2017 Paper Award goes to Stanley Bak and Parasara Sridhar Duggirala for their paper "Direct Verification of Linear Systems with over 10000 Dimensions". Congratulations! The award comes with a 500 Euro prize from Bosch.

forum

Visible to the public ARCH Benchmarks with C2E2

Submitted by cfan10 on Thu, 12/15/2016 - 3:21pm

Hi,

We have summarized C2E2's capability to handle all the ARCH previous benchmarks. It can be found in the google sheet https://docs.google.com/spreadsheets/d/1jjLraR_I388kTlA6zSvuP69wOiD7FWYE1BeKxZJ77ko/edit?usp=sharing

We will follow up with more interesting benchmarks. It is final week in UIUC this week so the preparation for the competition is a little bit delayed. We are wondering whether we can still contribute new benchmarks/instances after Dec 15th?

Thanks,

forum

Visible to the public Tuning-Free Benchmark Considerations

Submitted by stanleybak on Thu, 12/08/2016 - 10:41am

For the benchmarks in this category, obviously the type of benchrmark (affine / nonlinear; hybrid / continuous) will affect which tools can run it. Should we be targeting a particular class here? Or maybe these tools should instead use the benchmarks from the other categories, just try to come up with suitable paramters automatically?

file

Visible to the public Call for Submissions 2016.pdf

Submitted by althoff on Sun, 11/29/2015 - 1:38pm