Return-path: <[log in to unmask]>
Received: from ([])
 by (Sun Java System Messaging Server 6.2-2.05 (built Apr 28
 2005)) with ESMTP id <[log in to unmask]>; Fri,
 06 Nov 2009 08:30:36 -0500 (EST)
Received: from ([])
 by (Sun Java System Messaging Server 6.2-2.05 (built Apr 28
 2005)) with ESMTP id <[log in to unmask]>; Fri,
 06 Nov 2009 08:30:36 -0500 (EST)
Received: from ( [])
	by (8.13.4/8.13.4) with ESMTP id nA6DORNd017976; Fri,
 06 Nov 2009 08:24:28 -0500 (EST)
Received: from ([]) by with
 ESMTP; Fri, 06 Nov 2009 08:24:20 -0500
Received: from LISTSERV.GMU.EDU ( [])
	by (8.11.7p3+Sun/8.11.7) with ESMTP id nA6DOKG07918; Fri,
 06 Nov 2009 08:24:20 -0500 (EST)
Received: by LISTSERV.GMU.EDU (LISTSERV-TCP/IP release 14.4)
 with spool id 6792204 for [log in to unmask]; Fri,
 06 Nov 2009 08:24:20 -0500
Received: from ( [])
 by (8.11.7p3+Sun/8.11.7) with ESMTP id nA6DFCG06798 for
 <[log in to unmask]>; Fri, 06 Nov 2009 08:15:12 -0500 (EST)
Received: from ([])
 by with SMTP; Fri, 06 Nov 2009 08:15:12 -0500
Received: (qmail 49366 invoked from network); Fri, 06 Nov 2009 13:15:11 +0000
Received: from
 ([log in to unmask] with plain) by with
 SMTP; Fri, 06 Nov 2009 05:15:11 -0800
Date: Fri, 06 Nov 2009 08:15:12 -0500
From: Yariv Ephraim <[log in to unmask]>
Subject: Mr. Donald Jarvis Seminar 12/3
Approved-by: [log in to unmask]
To: [log in to unmask]
Reply-to: Yariv Ephraim <[log in to unmask]>
Message-id: <[log in to unmask]>
MIME-version: 1.0
Content-type: text/plain; charset=ISO-8859-1; format=flowed
Content-transfer-encoding: 7bit
Precedence: list
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="4.44,693,1249272000";   d="scan'208";a="93792719"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-AV: E=Sophos;i="4.44,693,1249272000"; d="scan'208";a="99072877"
X-Yahoo-SMTP: 8t128DOswBC1ke2RiCfT.D4mtw--
X-Yahoo-Newman-Property: ymail-3
Comments: To: [log in to unmask]
Comments: cc: Donald E Jarvis <[log in to unmask]>
List-Owner: <mailto:[log in to unmask]>
List-Subscribe: <mailto:[log in to unmask]>
List-Unsubscribe: <mailto:[log in to unmask]>
List-Archive: <>
List-Help: <>,
 <mailto:[log in to unmask]>
User-Agent: Thunderbird (Windows/20090812)

ECE Seminar Announcement

Speaker: Mr. Donald Jarvis
Title: Practical Identification of Timed Event Systems
Date: December 3
Time: 3:00-4:00pm
Room: Research I Room 163


My research involves the identification of timed discrete event systems, whose behavior may depend not only on the order of the input events, but also on their timing (embedded digital controllers are an example of such a system type).  In this context, identification effectively means a method to construct a software simulation of a given system, based on observed input-output traces of that system.

Because the model is event-based, traditional system identification theory does not apply.  I am exploring an abstract realization approach to the problem, in which I intend to adapt an algorithm that has been used in the past to identify regular languages and their recognizer automata.

Unlike many identification or learning techniques, this algorithm does not work from a given set of input-output exemplars, but rather formulates input sequences itself for which it requests the corresponding output.  New requests are based on the responses accumulated so far.  This interesting feature of the algorithm is also the key to its efficiency.


Donald E. Jarvis is a doctoral candidate in the electrical and computer engineering department at George Mason University.  He received the B.S.Engr. (computer science/engineering) and Ph.B. (bachelor of philosophy) in 1994 and M.S.Engr. (electrical engineering) in 1999 from the Catholic University of America, Washington, D.C.  His current research interests involve the application of formal models and systems theory to simulation, identification, and control problems arising in Naval electronic warfare.