Chess Review November 21, 2005 Berkeley, CA Edited and presented by Interchange Format for Hybrid Systems Alessandro Pinto UC Berkeley
Dec 19, 2015
Chess ReviewNovember 21, 2005Berkeley, CA
Edited and presented by
Interchange Format for Hybrid Systems
Alessandro PintoUC Berkeley
Chess Review, Nov. 21, 2005"Interchange Format for HS", Alessandro Pinto 2
Interchange Format: The big picture
HS-Denotational Description
HyVisual
CharonCheckmate
Hysdel
Interchange Format
Chess Review, Nov. 21, 2005"Interchange Format for HS", Alessandro Pinto 3
Review of hybrid system design environments
Name Automata Definition State ->Dynamics MappingSupported Dynamics
Guards Invariants Reset Maps
Simuink/Stateflow
StateflowStateflow output selecting state evolution
No limitationsConditions on Stateflow inputs and Th. Crossing detectors
Not supportedReset of integrators from Stateflow outputs
Modelica Implicit Events enabling equations No limitationsTriggering conditions on state variables
Not an explicit language feature
Reinit statements
HyVisual Explicit FSM representation Discrete state refinement No limitationsTriggering conditions on state variables
Not supportedAssignment on the FSM edges
ScicosImplicit using threshold and switches
Events switching dynamics No limitations Threshold detectorsThreshold detectors
Re-initialization of integrators
ShiftText-based definition of locations and tranistions
Flows as location arguments No limitationsConditions on system variables
Conditions on system variables
Assignment statements
CharonMode composition and refinement
Differential and algebraic constraints inside modes
No limitationsEnabling conditions on system variables
Constraints on system variables
Assignment statements
HyTechExplicit declaration of locations and transitions
Flows defined in each locationPredicates on derivative variables
Convex predicates on system variables
Convex predicates on system variables
Assignment statements
Checkmate StateflowMode selector from stateflow to a set of dynamics
Linear or non linear Affine inequalities Not supported Affine maps
d/dtExplicit declaration of locations and transitions
Flows defined in each location LinearConvex predicates on state variables
Convex predicates on state variables
Not supported
Hysdel Logic formulas on boolean variables
Mode selectorsDiscrete time and linear
Threshold conditions on system variables
Not supportedModeled as one step dynamics
Chess Review, Nov. 21, 2005"Interchange Format for HS", Alessandro Pinto 4
Review of hybrid system design environments
Name Hierarchy Composition OO Causality Algebraic Loops Dirac PulsesContinuous/Discrete Interface
Simuink/Stateflow
YContinuous variables (Simulink) and discrete events (stateflow)
N CausalExplicit Algebraic loop solver
NStateflow acting on Simulink blocks
Modelica Y Connection Statements YNon causal components and causal functions
Simulator dependentN Events enabling equations
HyVisual YPorts exposing internal variables
Y Causal Not Supported NStates refined into dynamical systems
Scicos YContinuous and discrete variables
N CausalNot Supported
NDiscrete states affecting continuous states
Shift YContinuous variables and event synchronization
Y CausalNot Supported
NFlows associated to locations and reset maps
Charon YConnection of agents variables
N CausalNot Supported
NModes declaring differential/algebraic constraints
HyTech N Synchronization of automata N CausalNot Supported
NFlows associated to locations and reset maps
Checkmate N N N CausalNot Supported
NMode selectors switching dynamics
d/dtN
N N CausalNot Supported
NFlows associated to locations
HysdelN N N Causal
Not SupportedN
Mode selectors switching dynamics
Chess Review, Nov. 21, 2005"Interchange Format for HS", Alessandro Pinto 5
Interchange Format
(A. Pinto, L.P. Carloni, R. Passerone, A.L. Sangiovanni Vincentelli“Interchange Format for Hybrid Systems: Abstract Semantics”Submitted to HSCC 2006)
Chess Review, Nov. 21, 2005"Interchange Format for HS", Alessandro Pinto 6
Structure of existing languages
HyVisual
CheckmateHSIF/HyTech