Verification of hybrid physical system models

American Society of Mechanical Engineers, Dynamic Systems and Control Division (Publication) DSC

Volumn 58, Issue , 1996, Pages 707-714

  Mosterman, Pieter J ^a   Biswas, Gautam ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; FINITE AUTOMATA; GRAPH THEORY; LINEARIZATION; MATHEMATICAL MODELS;

ENERGY FLOW MODELING; HYBRID PHYSICAL SYSTEM; MODEL PARTITIONING; MULTIPLE MODES; NUMERICAL STIFFNESS; SIGNAL FLOW MODELING;

NONLINEAR SYSTEMS;

EID: 0030387493     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)