Zbigniew Korona

Learn More
This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories and models. We s h o w, on a simple example, how theories(More)
|An algorithm is presented for tracking a landing aircraft using fusion of two diierent passive sensors, a laser range nder (LRF) and a forward-looking infrared (FLIR) camera. The main feature of this algorithm is its ability to identify and compensate for an exhaust plume disturbance. The algorithm is based on the extended Kalman lter (EKF) and the ltering(More)
An increase in accuracy and reduction in computational complexity of the common wavelet-based target recognition techniques can be achieved by using interpretable features for recognition. In this work, the Best Discrimination Basis Algorithm (BDBA) is applied to select the most discriminant complete orthonormal wavelet basis for recognition purposes. The(More)
Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q 2 methodology abstracts a provably(More)
In this paper we describe the application of a new automatic signal recognition methodology to the recognition of lung sounds. Two main features of this methodology are: the use of symbolic knowledge about the signal sources (in addition to sensory inputs), and fusion of multisensor information. We show steps involved in the design of an automatic(More)
Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q 2 methodology abstracts a provably(More)
In this work, we present a model theory based fusion methodology for multisensor wavelet-features based recognition called Automatic Multisensor Feature-based Recognition System (AMFRS). The goal of this system is to increase accuracy of the commonly used wavelet-based recognition techniques by incorporating symbolic knowledge (symbolic features) about the(More)
  • 1