arXiv subjects

and

Publications and source records attributed to and.

2 recordsLinked to original sources

arXiv2021

From SKA to SKAO: Early Progress in the SKAO Construction

The Square Kilometre Array telescopes have recently started their construction phase, after years of pre-construction effort. The new SKA Observatory (SKAO) intergovernmental organisation has been created, and the start of construction ($\mathrm{T_0}$) has already happened. In this talk, we summarise the construction progress of our facility, and the role that agile software development and open-source collaboration, and in particular the development of our TANGO-based control system, is playing.

astro-ph.IM↗

arXiv2018

Parameter Synthesis Problems for Parametric Timed Automata

We consider the parameter synthesis problem of parametric timed automata (PTAs). The problem is, given a PTA and a property, to compute the set of valuations of the parameters under which the resulting timed automaton satisfies the property. Such a set of parameter valuations is called a feasible region for the PTA and the property. The problem is known undecidable in general. This paper, however, presents our study on some decidable sub-classes of PTAs and proposes efficient parameter synthesis algorithms for them.

eess.SY↗