Functional reactive programming as a hybrid system framework

Izzet Pembeci, Gregory Hager

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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)
Title of host publicationProceedings - IEEE International Conference on Robotics and Automation
Pages727-734
Number of pages8
Volume1
StatePublished - 2003
Event2003 IEEE International Conference on Robotics and Automation - Taipei, Taiwan, Province of China
Duration: Sep 14 2003Sep 19 2003

Other

Other2003 IEEE International Conference on Robotics and Automation
CountryTaiwan, Province of China
CityTaipei
Period9/14/039/19/03

Fingerprint

Hybrid systems
Specifications

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering

Cite this

Pembeci, I., & Hager, G. (2003). Functional reactive programming as a hybrid system framework. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 1, pp. 727-734)

Functional reactive programming as a hybrid system framework. / Pembeci, Izzet; Hager, Gregory.

Proceedings - IEEE International Conference on Robotics and Automation. Vol. 1 2003. p. 727-734.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pembeci, I & Hager, G 2003, Functional reactive programming as a hybrid system framework. in Proceedings - IEEE International Conference on Robotics and Automation. vol. 1, pp. 727-734, 2003 IEEE International Conference on Robotics and Automation, Taipei, Taiwan, Province of China, 9/14/03.
Pembeci I, Hager G. Functional reactive programming as a hybrid system framework. In Proceedings - IEEE International Conference on Robotics and Automation. Vol. 1. 2003. p. 727-734
Pembeci, Izzet ; Hager, Gregory. / Functional reactive programming as a hybrid system framework. Proceedings - IEEE International Conference on Robotics and Automation. Vol. 1 2003. pp. 727-734
@inproceedings{cc3d48a6442f4fcb887c620575d9c53b,
title = "Functional reactive programming as a hybrid system framework",
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.",
author = "Izzet Pembeci and Gregory Hager",
year = "2003",
language = "English (US)",
volume = "1",
pages = "727--734",
booktitle = "Proceedings - IEEE International Conference on Robotics and Automation",

}

TY - GEN

T1 - Functional reactive programming as a hybrid system framework

AU - Pembeci, Izzet

AU - Hager, Gregory

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0345307704&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0345307704&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0345307704

VL - 1

SP - 727

EP - 734

BT - Proceedings - IEEE International Conference on Robotics and Automation

ER -