Rigorous modeling of hybrid systems using interval arithmetic constraints

Conference proceeding

Peer reviewed

Rigorous modeling of hybrid systems using interval arithmetic constraints

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: https://doi.org/10.1007/978-3-540-24743-2_27

Abstract

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

General

Software

Metrics

3 Record Views

Details

Title: Rigorous modeling of hybrid systems using interval arithmetic constraints
Creators: Timothy J Hickey - Brandeis University
David K Wittenberg - Brandeis University
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
Identifiers: 9924086605301921
Academic Unit: Michtom School of Computer Science; Interdepartmental Program in Film, Television and Interactive Media; Benjamin and Mae Volen National Center for Complex Systems; Myra Kraft Achievers Program
Language: English
Resource Type: Conference proceeding