Related papers: Autonomous software: Myth or magic?
We show that Earth mass planets orbiting stars in the Galactic disk and bulge can be detected by monitoring microlensed stars in the Galactic bulge. The star and its planet act as a binary lens which generates a lightcurve which can differ…
Star trackers are primarily optical devices that are used to estimate the attitude of a spacecraft by recognising and tracking star patterns. Currently, most star trackers use conventional optical sensors. In this application paper, we…
In recent years many works have shown that unsupervised Machine Learning (ML) can help detect unusual objects and uncover trends in large astronomical datasets, but a few challenges remain. We show here, for example, that different methods,…
More than 100 microlensing events have been detected during the last ~4 years, most of them towards the Galactic Bulge. Since the line of sight towards the Bulge passes through the disk and the Bulge itself, the known stars towards the…
The work of astronomers is getting more complex and advanced as the progress of computer development occurs. With improved computing capabilities and increased data flow, more sophisticated software is required in order to interpret, and…
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to…
Observing, understanding, and mitigating the effects of failure in embedded systems is essential for building dependable control systems. We develop a software-based monitoring methodology to further this goal. This methodology can be…
Astrometric observations of microlensing events were originally proposed to determine the lens proper motion with which the physical parameters of lenses can be better constrained. In this proceeding, we demonstrate that besides this…
Astronomical observations already produce vast amounts of data through a new generation of telescopes that cannot be analyzed manually. Next-generation telescopes such as the Large Synoptic Survey Telescope and the Square Kilometer Array…
Microlensing is a powerful tool for discovering cold exoplanets, and the The Roman Space Telescope microlensing survey will discover over 1000 such planets. Rapid, automated classification of Roman's microlensing events can be used to…
Earth is bombarded by meteors, occasionally by one large enough to cause a significant explosion and possible loss of life. Although the odds of a deadly asteroid strike in the next century are low, the most likely impact is by a relatively…
We report on the first results from a large-scale observing campaign aiming to use astrometric microlensing to detect and place limits on the mass of single objects, including stellar remnants. We used the Hubble Space Telescope to monitor…
The occultation of background stars by foreground Solar system objects, such as planets and asteroids, has been widely used as an observational probe to study physical properties associated with the foreground sample. Similarly, the…
An array of large observational programs using ground-based and space-borne telescopes is planned in the next decade. The forthcoming wide-field sky surveys are expected to deliver a sheer volume of data exceeding an exabyte. Processing the…
Anomalies drive scientific discovery -- they are associated with the cutting edge of the research frontier, and thus typically exploit data in the low signal-to-noise regime. In astronomy, the prevalence of systematics --- both "known…
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in the…
Fast variability of optical objects is an interesting though poorly explored subject in modern astronomy. Real-time data processing and identification of transient celestial events in the images is very important for such study as it allows…
The feasibility of using data from the NASA STEREO mission for variable star and asteroseismology studies has been examined. A data analysis pipeline has been developed that is able to apply selected algorithms to the entire database of…
Over the past decade, microlensing has developed into a powerful tool to study stellar astrophysics, especially stellar atmospheres, stellar masses, and binarity. I review this progress. Stellar atmospheres can be probed whenever the source…
Microlensing has proven to be a valuable tool to search for extrasolar planets of Jovian- to Super-Earth-mass planets at orbits of a few AU. Since planetary signals are of very short duration, an intense and continuous monitoring is…