Rational physical agent reasoning beyond logic

The paper addresses the problem of defining a theoretical physical agent framework that satisfies practical requirements of programmability by non-programmer engineers and at the same time permitting fast realtime operation of agents on digital computer networks. The objective of the new framework is to enable the satisfaction of performance requirements on autonomous vehicles and robots in space exploration, deep underwater exploration, defense reconnaissance, automated manufacturing and household automation

Agent Based Approaches to Engineering Autonomous Space Software

Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's Simulink toolbox. These provide powerful tools for engineering real time systems that adapt to changes in the environment but are limited when the controller itself needs to be adapted. We are investigating ways in which ideas from temporal logics and agent programming can be integrated with the use of such control systems to provide a more powerful layer of autonomous decision making. This paper will discuss our initial approaches to the engineering of such systems.Comment: 3 pages, 1 Figure, Formal Methods in Aerospac

Frequency domain iterative feedforward/feedback tuning for MIMO ANVC

A new gradient estimation method is proposed that relies on efficient computation of the negative gradient of the average linear quadratic cost function completely in the frequency domain. Based on the proposed theory, a new iterative tuning method is developed to solve linear multi-input multi-output Active Noise/Vibration Control problems. Compared with published iterative tuning methods, the new method has the added advantage that the number of experiments per iteration is reduced to one. Combined with the other advantage of relativelysimple controller structures, the method is suitable for real-time implementation as an adaptive controlle

The compact radio structure of the high-redshift blazar J1430+4204 before and after a major outburst

The high-redshift (z=4.72) blazar J1430+4204 produced an exceptional radio outburst in 2006. We analyzed 15-GHz radio interferometric images obtained with the Very Long Baseline Array (VLBA) before and after the outburst, to search for possible structural changes on milli-arcsecond angular scales and to determine physical parameters of the source.Comment: Proceedings of the 5th Workshop of Young Researchers in Astronomy and Astrophysics, Budapest, 2009; to be published in J. Phys.: Conf. Series (JPCS); 4 pages, 3 figure

FermiFermi GBM Observations of V404 Cyg During its 2015 Outburst

V404 Cygni was discovered in 1989 by the $Ginga$ X-ray satellite during its only previously observed X-ray outburst and soon after confirmed as a black hole binary. On June 15, 2015, the Gamma Ray Burst Monitor (GBM) triggered on a new outburst of V404 Cygni. We present 13 days of GBM observations of this outburst including Earth occultation flux measurements, spectral and temporal analysis. The Earth occultation fluxes reached 30 Crab with detected emission to 100 keV and determined, via hardness ratios, that the source was in a hard state. At high luminosity, spectral analysis between 8 and 300 keV showed that the electron temperature decreased with increasing luminosity. This is expected if the protons and electrons are in thermal equilibrium during an outburst with the electrons cooled by the Compton scattering of softer seed photons from the disk. However, the implied seed photon temperatures are unusually high, suggesting a contribution from another source, such as the jet. No evidence of state transitions is seen during this time period. The temporal analysis reveals power spectra that can be modeled with two or three strong, broad Lorentzians, similar to the power spectra of black hole binaries in their hard state