Departmental Papers (CIS)

Document Type

Conference Paper

Subject Area

CPS Model-Based Design

Date of this Version

12-18-2002

Publication Title

Lecture Notes in Computer Science: High Performance Computing, HiPC 2002

Volume

2552

First Page

702

Last Page

712

DOI

10.1007/3-540-36265-7_67

Comments

Postprint version. Published in Lecture Notes in Computer Science, Volume 2552, High Performance Computing - HiPC 2002, pages 702-712.
Publisher URL: http://www.springerlink.com/link.asp?id=gt7d938fl0y8qpj0

Abstract

In this paper we introduce our new tool BIOSKETCHPAD that allows visual programming and modeling of biological regulatory networks. The tool allows biologists to create dynamic models of networks using a menu of icons, arrows, and pop-up menus, and translates the input model into CHARON, a modeling language for modular design of interacting multi-agent hybrid systems. Hybrid systems are systems that are characterized by continuous as well as discrete dynamics. Once a CHARON model of the underlying system is generated, we are able to exploit the various analysis capabilities of the CHARON toolkit, including simulation and reachability analysis. We illustrate the advantages of this approach using a case study concerning the regulation of bioluminescence in a marine bacterium.

Permission Statement

The original publication is available at www.springerlink.com

Share

COinS
 

Date Posted: 11 September 2005