Fetching the paper…
Reading the bibliography…
This work develops a measurement-driven and model-based formal verification approach, applicable to systems with partly unknown dynamics.
Bayesian Approach to System Identification
V. Peterka · 1981
Earlier work this paper cites.
Model-based control for HVAC applications
G. S. Virk and D. L. Loveday · 1994
Earlier work this paper cites.
A generalized orthonormal basis for linear dynamical systems
P. S. C. Heuberger, P. M. J. Van den Hof, and O. H. Bosgra · 1995
Earlier work this paper cites.
System identification with generalized orthonormal basis functions
P. M. J. Van den Hof, P. S. C. Heuberger, and J. Bokor · 1995
Earlier work this paper cites.
Using hytech to synthesize control parameters for a steam boiler
T. Henzinger and H. Wong-Toi · 1996
Earlier work this paper cites.
The philosophy of statistics
D. V. Lindley · 2000
Earlier work this paper cites.
Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks
C. Belta, L. C. G. J. M. Habets, and V. Kumar · 2002
Earlier work this paper cites.
Learning continuous time Markov chains from sample executions
K. Sen, M. Viswanathan, and G. Agha · 2004
Earlier work this paper cites.
Statistical model checking of black-box probabilistic systems
K. Sen, M. Viswanathan, and G. Agha · 2004
Earlier work this paper cites.
Modelling and identification with rational orthogonal basis functions
P. S. C. Heuberger, P. M. J. Van den Hof, and B. Wahlberg · 2005
Earlier work this paper cites.
From experiment design to closed-loop control
H. Hjalmarsson · 2005
Earlier work this paper cites.
Model checking genetic regulatory networks with parameter uncertainty
G. Batt, C. Belta, and R. Weiss · 2007
Earlier work this paper cites.
Symbolic planning and control of robot motion [grand challenges of robotics]
C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas · 2007
Cited alongside, same era.
Set-Theoretic Methods in Control
F. Blanchini and S. Miani · 2007
Cited alongside, same era.
Sensing, navigation and reasoning technologies for the DARPA urban challenge
J. W. Burdick, N. du Toit, A. Howard, C. Looman, J. Ma, R. M. Murray, and T. Wongpiromsarn · 2007
Cited alongside, same era.
Principles of model checking
C. Baier and J.-P. Katoen · 2008
Cited alongside, same era.
The birth of model checking
E. M. Clarke · 2008
Cited alongside, same era.
A counterexample-guided approach to parameter synthesis for linear hybrid automata
G. Frehse, S. K. Jha, and B. H. Krogh · 2008
Cited alongside, same era.
Piecewise affine approximation of fluxes and enzyme kinetics from in-vivo 13
A. Abate, R. C. Hillen, and S. A. Wahl · 2012
Later among the works it cites.
Active learning of Markov decision processes for system verification
Y. Chen and T. D. Nielsen · 2012
Later among the works it cites.
Statistical model checking for Markov decision processes
D. Henriques, J. G. Martins, P. Zuliani, A. Platzer, and E. M. Clarke · 2012
Later among the works it cites.
Learning and model-checking networks of I/O automata
H. Mao and M. Jaeger · 2012
Later among the works it cites.
Learning temporal logical properties discriminating ECG models of cardiac arrhythmias
E. Bartocci, L. Bortolussi, and G. Sanguinetti · 2013
Later among the works it cites.
Learning and designing stochastic processes from logical constraints
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cyber physical systems: Design challenges
E. A. Lee · 2008
Cited alongside, same era.
Engineering principles in bio-molecular systems: From retroactivity to modularity
D. Del Vecchio and E. D. Sontag · 2009
Cited alongside, same era.
Predicting the temperature profile of indoor buildings by using orthonormal basis functions
B. C. Reginato, R. Z. Freire, G. H. D. C. Oliveira, N. Mendes, and O. Abadie, Marc · 2009
Cited alongside, same era.
Verification and Control of Hybrid Systems: a Symbolic Approach
P. Tabuada · 2009
Cited alongside, same era.
From philosophical to industrial logics
M. Y. Vardi · 2009
Cited alongside, same era.
Statistical model checking: An overview
A. Legay, B. Delahaye, and S. Bensalem · 2010
Cited alongside, same era.
L. Bortolussi and G. Sanguinetti · 2013
Later among the works it cites.
Exploring parameter space of stochastic biochemical systems using quantitative model checking
L. Brim, M. Češka, S. Dražan, and D. Šafránek · 2013
Later among the works it cites.
Lightweight Monte Carlo algorithm for Markov decision processes
A. Legay and S. Sedwards · 2013
Later among the works it cites.
Bayesian statistical model checking with application to Stateflow/Simulink verification
P. Zuliani, A. Platzer, and E. M. Clarke · 2013
Later among the works it cites.
Smoothed model checking for uncertain continuous time Markov chains
L. Bortolussi and G. Sanguinetti · 2014
Later among the works it cites.
Probabilistic verification of partially observable dynamical systems
B. M. Gyori, D. Paulin, and S. K. Palaniappan · 2014
Later among the works it cites.
Data-driven property verification of grey-box systems by Bayesian experiment design
S. Haesaert, P. M. J. Van den Hof, and A. Abate · 2015
Closest in time.