Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By ACM Press

9781450315678

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Observer design for a class of piecewise affine hybrid systems

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461355 ◽

2013 ◽

Author(s):

Dirk van Zwieten ◽

Erjen Lefeber ◽

Maurice Heemels

Keyword(s):

Hybrid Systems ◽

Observer Design ◽

Piecewise Affine

Download Full-text

Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461358 ◽

2013 ◽

Author(s):

Matthias Althoff

Keyword(s):

Nonlinear Systems ◽

Convex Sets ◽

Reachability Analysis

Download Full-text

Stabhyli

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461347 ◽

2013 ◽

Author(s):

Eike Möhlmann ◽

Oliver Theel

Download Full-text

Rewarding probabilistic hybrid automata

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461375 ◽

2013 ◽

Author(s):

Ernst Moritz Hahn ◽

Holger Hermanns

Keyword(s):

Hybrid Automata

Download Full-text

Automated analysis of real-time scheduling using graph games

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461356 ◽

2013 ◽

Author(s):

Krishnendu Chatterjee ◽

Alexander Kößler ◽

Ulrich Schmid

Keyword(s):

Real Time ◽

Automated Analysis ◽

Real Time Scheduling ◽

Graph Games ◽

Time Scheduling

Download Full-text

A stochastic hybrid system model of collective transport in the desert ant aphaenogaster cockerelli

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461349 ◽

2013 ◽

Author(s):

Ganesh P. Kumar ◽

Aurélie Buffin ◽

Theodore P. Pavlic ◽

Stephen C. Pratt ◽

Spring M. Berman

Keyword(s):

Hybrid System ◽

System Model ◽

Stochastic Hybrid System ◽

Collective Transport

Download Full-text

Bounded model-checking of discrete duration calculus

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461362 ◽

2013 ◽

Author(s):

Quan Zu ◽

Miaomiao Zhang ◽

Jiaqi Zhu ◽

Naijun Zhan

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Duration Calculus

Download Full-text

A simulink hybrid heart model for quantitative verification of cardiac pacemakers

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461351 ◽

2013 ◽

Author(s):

Taolue Chen ◽

Marco Diciolla ◽

Marta Kwiatkowska ◽

Alexandru Mereacre

Keyword(s):

Heart Model ◽

Cardiac Pacemakers ◽

Quantitative Verification

Download Full-text

Towards sensitivity analysis of hybrid systems using simulink

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461345 ◽

2013 ◽

Author(s):

Zhi Han ◽

Pieter J. Mosterman

Keyword(s):

Sensitivity Analysis ◽

Download Full-text

Formal verification of distributed aircraft controllers

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 ◽

10.1145/2461328.2461350 ◽

2013 ◽

Author(s):

Sarah M. Loos ◽

David Renshaw ◽

André Platzer

Keyword(s):

Formal Verification

Download Full-text