Rigorous modeling of hybrid systems using interval arithmetic constraints

Conference proceeding

Peer reviewed

Timothy J Hickey and David K Wittenberg

Lecture notes in computer science, Vol.2993, pp.402-416

HSCC 2004 : hybrid systems : computation and control (Philadelphia PA, 25-27 March 2004)

2004

DOI: 10.1007/978-3-540-24743-2_27

View Online

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

General

Software

Title: Subtitle: Rigorous modeling of hybrid systems using interval arithmetic constraints
Creators: Timothy J Hickey - Brandeis University
David K Wittenberg - Brandeis University
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.2993, pp.402-416
Conference: HSCC 2004 : hybrid systems : computation and control (Philadelphia PA, 25-27 March 2004)
Publisher: Springer
DOI: 10.1007/978-3-540-24743-2_27
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2004
Academic Unit: Cinematic Arts; English
Record Identifier: 9984398051702771

3 Record Views