Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450356428

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3178126.3178148 ◽

2018 ◽

Cited By ~ 5

Author(s):

Abraham P. Vinod ◽

Meeko M. K. Oishi

Download Full-text

DryVR 2.0

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3178126.3187008 ◽

2018 ◽

Author(s):

Bolun Qi ◽

Chuchu Fan ◽

Minghao Jiang ◽

Sayan Mitra

Download Full-text

Lyapunov Design for Event-Triggered Exponential Stabilization

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3178126.3178142 ◽

2018 ◽

Cited By ~ 1

Author(s):

Anton V. Proskurnikov ◽

Manuel Mazo

Keyword(s):

Exponential Stabilization ◽

Lyapunov Design ◽

Event Triggered

Download Full-text

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3178126.3186999 ◽

2018 ◽

Author(s):

Abolfazl Lavaei ◽

Sadegh Soudjani ◽

Majid Zamani

Keyword(s):

Control Systems ◽

Stochastic Control ◽

Compositional Synthesis

Download Full-text

Session details: Modeling and Verification

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3258032 ◽

2018 ◽

Author(s):

Dejan Nickovic

Download Full-text

Session details: Compositional Methods

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3258028 ◽

2018 ◽

Author(s):

Jyotirmoy V. Deshmukh

Download Full-text

Session details: Stabilization and Control Design

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3258027 ◽

2018 ◽

Author(s):

James P. Kapinski

Keyword(s):

Control Design ◽

And Control

Download Full-text

Session details: Stochastic Systems

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3258024 ◽

2018 ◽

Author(s):

Pavithra Prabhakar

Keyword(s):

Stochastic Systems

Download Full-text

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3178126.3178152 ◽

2018 ◽

Cited By ~ 4

Author(s):

Akshay Rajhans ◽

Srinath Avadhanula ◽

Alongkrit Chutinan ◽

Pieter J. Mosterman ◽

Fu Zhang

Keyword(s):

Graphical Modeling ◽

Hybrid Dynamics

Download Full-text

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 ◽

10.1145/3178126.3178135 ◽

2018 ◽

Cited By ~ 16

Author(s):

Abolfazl Lavaei ◽

Sadegh Soudjani ◽

Majid Zamani

Keyword(s):

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision

Download Full-text

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness

DryVR 2.0

Lyapunov Design for Event-Triggered Exponential Stabilization

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs

Session details: Modeling and Verification

Session details: Compositional Methods

Session details: Stabilization and Control Design

Session details: Stochastic Systems

Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18
Latest Publications