Functional reactive programming as a hybrid system framework

Izzet Pembeci, Gregory Hager

Research output: Contribution to journalConference article

Abstract

In previous work we presented Functional Reactive Programming (FRP), a general framework for designing hybrid systems and developing domain-specific languages for related domains. FRP's synchronous dataflow features, like event driven switching, supported by higher-order lazy functional abstractions of Haskell allows rapid development of modular and reusable specifications. In this paper, we will look at more closely to the relation of Arrowized FRP (AFRP), the latest FRP implementation, and formal specification of hybrid systems. We will show how a formally specified hybrid system can be expressed in FRP and present a constructive proof showing that, for a subset of AFRP programs, there is a corresponding formal hybrid system specification.

Original languageEnglish (US)
Pages (from-to)727-734
Number of pages8
JournalProceedings - IEEE International Conference on Robotics and Automation
Volume1
StatePublished - Dec 9 2003
Event2003 IEEE International Conference on Robotics and Automation - Taipei, Taiwan, Province of China
Duration: Sep 14 2003Sep 19 2003

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Functional reactive programming as a hybrid system framework'. Together they form a unique fingerprint.

  • Cite this