Sign in
Imran Riaz Hasrat
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Markov Processes
Water Distribution
Control Problems
Timed Automata
Top Venues
TASE
Sci. Comput. Program.
FMICS
</>
Publications
</>
Imran Riaz Hasrat
,
Peter Gjøl Jensen
,
Kim Guldstrand Larsen
,
Jirí Srba
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control.
FMICS
(2023)
Imran Riaz Hasrat
,
Peter Gjøl Jensen
,
Kim Guldstrand Larsen
,
Jirí Srba
A toolchain for domestic heat-pump control using Uppaal Stratego.
Sci. Comput. Program.
230 (2023)
Imran Riaz Hasrat
,
Peter Gjøl Jensen
,
Kim Guldstrand Larsen
,
Jirí Srba
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego.
TASE
(2022)