Return-path: <[log in to unmask]> Received: from caduceus2.gmu.edu ([220.127.116.11]) by mercury2.gmu.edu (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 cronus.gmu.edu ([18.104.22.168]) by caduceus2.gmu.edu (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 ironport2.gmu.edu (ironport2.gmu.edu [22.214.171.124]) by cronus.gmu.edu (8.13.4/8.13.4) with ESMTP id nA6DORNd017976; Fri, 06 Nov 2009 08:24:28 -0500 (EST) Received: from mail04.gmu.edu ([126.96.36.199]) by ironport2.gmu.edu with ESMTP; Fri, 06 Nov 2009 08:24:20 -0500 Received: from LISTSERV.GMU.EDU (mail04.gmu.edu [188.8.131.52]) by mail04.gmu.edu (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 ironport1.gmu.edu (ironport1.gmu.edu [184.108.40.206]) by mail04.gmu.edu (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 smtp104.prem.mail.ac4.yahoo.com ([220.127.116.11]) by ironport1.gmu.edu 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 pool-173-79-117-199.washdc.fios.verizon.net ([log in to unmask] with plain) by smtp104.prem.mail.ac4.yahoo.com 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-Sender-IP: 18.104.22.168 X-Sender-IP: 22.214.171.124 X-SENDER-REPUTATION: 4.5 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQBAPKy80qBrgB0kWdsb2JhbACbcAEBAQEJCwoHEwQ9sV2GC4hMgjiCBQSLfw X-IronPort-AV: E=Sophos;i="4.44,693,1249272000"; d="scan'208";a="93792719" X-SENDER-REPUTATION: 5.3 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4CACOw80pMDQ0rmWdsb2JhbACbcAEBAQEBCAsKBxNBsVmGC4hMgjiCBQSLfw X-IronPort-AV: E=Sophos;i="4.44,693,1249272000"; d="scan'208";a="99072877" X-Yahoo-SMTP: 8t128DOswBC1ke2RiCfT.D4mtw-- X-YMail-OSG: 2Egv8ykVM1nOcOlA8vcl5HRRmqy2VJIQ6mqr_XpxMlmLeuMJ8TM3He5UiplOXA6gf63JVI63H3VJdDmhp6DIcqFuE58FHU5CpF.Oh7aMkNQcjy6q4byAWJXJemIXFkjAIOSVzlQ.ePRy24DbqzqJ3ONQg8n.wc1NLZO_SH1f0VpDLaexiZa4jtogudHXWdJWC7wZlYBMFkn4DUFQ6ajrIXhwlZnwkDhOt3J5eYtrJGUZV8C1QtP2KU6slpj75zp2sOaOs89obO8n1wgQdTS9ud.lQOVRU1gWqoJoNlP__zKVYGQj0kA8x_NB731AdV9ONoX8P9YWLTGStLr9cOzWyu4NA3czBHndMe8- 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: <http://listserv.gmu.edu/cgi-bin/wa?LIST=ECE-FACULTY-L> List-Help: <http://listserv.gmu.edu/cgi-bin/wa?LIST=ECE-FACULTY-L>, <mailto:[log in to unmask]> User-Agent: Thunderbird 126.96.36.199 (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 Abstract: 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. Bio: 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.