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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450315678

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 5

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

Stabhyli

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

10.1145/2461328.2461347 ◽

2013 ◽

Cited By ~ 11

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

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 ◽

Cited By ~ 42

Author(s):

Matthias Althoff

Keyword(s):

Nonlinear Systems ◽

Convex Sets ◽

Reachability 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 ◽

Cited By ~ 12

Author(s):

Sarah M. Loos ◽

David Renshaw ◽

André Platzer

Keyword(s):

Formal Verification

Download Full-text

Pipelining for cyclic control systems

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

10.1145/2461328.2461364 ◽

2013 ◽

Cited By ~ 3

Author(s):

Arquimedes Canedo ◽

Livio Dalloro ◽

Hartmut Ludwig

Keyword(s):

Control Systems ◽

Cyclic Control

Download Full-text

Control design for specifications on stochastic hybrid systems

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

10.1145/2461328.2461374 ◽

2013 ◽

Cited By ~ 6

Author(s):

Maryam Kamgarpour ◽

Sean Summers ◽

John Lygeros

Keyword(s):

Hybrid Systems ◽

Control Design ◽

Stochastic Hybrid Systems

Download Full-text

Iterative temporal motion planning for hybrid systems in partially unknown environments

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

10.1145/2461328.2461380 ◽

2013 ◽

Cited By ~ 22

Author(s):

Matthew R. Maly ◽

Morteza Lahijanian ◽

Lydia E. Kavraki ◽

Hadas Kress-Gazit ◽

Moshe Y. Vardi

Keyword(s):

Motion Planning ◽

Hybrid Systems ◽

Unknown Environments

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 ◽

Cited By ~ 11

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 ◽

Desert Ant ◽

Collective Transport

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Automated analysis of real-time scheduling using graph games

Stabhyli

Rewarding probabilistic hybrid automata

Observer design for a class of piecewise affine hybrid systems

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

Formal verification of distributed aircraft controllers

Pipelining for cyclic control systems

Control design for specifications on stochastic hybrid systems

Iterative temporal motion planning for hybrid systems in partially unknown environments

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
Latest Publications