Page 36 - 《软件学报》2021年第7期

1954 Journal of Software 软件学报 Vol.32, No.7, July 2021

[44] Agarwal S, Pape LE, Dagli CH, Ergin NK, Enke D, Gosavi A, Qin R, Konur D, Wang R, Gottapu RD. Flexible and intelligent
learning architectures for SOS (Fila-SOS): Architectural evolution in systems-of-systems. Procedia Computer Science, 2015,44(C):
76–85.
[45] Li HY, Zhang YR, Chen YX. Pstep—a novel probabilistic event processing language for uncertain spatio-temporal event streams of
Internet of vehicles. In: Proc. of the 2015 IEEE Int’l Conf. on Software Quality, Reliability and Security-companion. IEEE, 2015.
161–168.
[46] Amir M, Givargis T. Hybrid state machine model for fast model predictive control: Application to path tracking. In: Proc. of the
2017 IEEE/ACM Int’l Conf. on Computer-aided Design (ICCAD). IEEE, 2017. 185–192.
[47] Bortolussi L, Cairoli F, Paoletti N, Stoller SD. Conformal predictions for hybrid system state classification. In: From Reactive
Systems to Cyber-Physical Systems. Springer-Verlag, 2019. 225–241.
[48] Bacci G, Hansen M, Larsen KG. On the verification of weighted kripke structures under uncertainty. In: Proc. of the Int’l Conf. on
Quantitative Evaluation of Systems. Springer-Verlag, 2018. 71–86.
[49] Vrbaski M, Bolic M, Majumdar S. Complex event recognition notification methodology for uncertain iot systems based onmicro-
service architecture. In: Proc. of the 6th IEEE Int’l Conf. on Future Internet of Things and Cloud (FiCloud). IEEE, 2018. 184–191.
[50] Behl M, Nghiem TX, Mangharam R. Model-IQ: Uncertainty propagation from sensing to modeling and control in buildings. In:
Proc. of the 2014 ACM/IEEE Int’l Conf. on Cyber-physical Systems (ICCPS). IEEE, 2014. 13–24.
[51] Bhadoria RS, Chaudhari NS, Samanta S. Uncertainty in sensor data acquisition for SOA system. Neural Computing and
Applications, 2018,30(10):3177–3187.
[52] Cámara J, Peng WX, Garlan D, Schmerl B. Reasoning about sensing uncertainty in decision-making for self-adaptation. In: Proc. of
the Int’l Conf. on Software Engineering and Formal Methods. Springer-Verlag, 2017. 523–540.
[53] Chatzikonstantinou G, Kontogiannis K. Efficient parallel reasoning on fuzzy goal models for run time requirements verification.
Software & Systems Modeling, 2018,17(4):1339–1364.
[54] Ghezzi C. Dependability of adaptable and evolvable distributed systems. In: Proc. of the Int’l School on Formal Methods for the
Design of Computer, Communication and Software Systems. Springer-Verlag, 2016. 36–60.
[55] Shevtsov S, Weyns D, Maggio M. Simca* a control-theoretic approach to handle uncertainty in self-adaptive systems with
guarantees. ACM Trans. on Autonomous and Adaptive Systems (TAAS), 2019,13(4):1–34.
[56] Ge H, Yue D, Xie XP, Deng S, Dou CX. A unified modeling of muti-sources cyber-attacks with uncertainties for CPS security
control. Journal of the Franklin Institute, 2019.
[57] Zhe Xu, Julius AA. Robust temporal logic inference for provably correct fault detection and privacy preservation of switched
systems. IEEE Systems Journal, 2019,13(3):3010–3021.
[58] Yang ZF, Wu M, Lin W. An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems. Nonlinear
Analysis: Hybrid Systems, 2020,36:100837.
[59] Chen B, Niu YG, Zou YY. Security control for Markov jump system with adversarial attacks and unknown transition rates
viaadaptive sliding mode technique. Journal of the Franklin Institute, 2019,356(6):3333–3352.
[60] Chen C, Chen D, Yan YN, Zhang GF, Zhou QG, Zhou R. Integration of numerical model and cloud computing. Future Generation
Computer Systems, 2018,79:396–407.
[61] Song W, Li WF, Fu XW, Cao YL, Yang L. Rfid based real-time manufacturing information perception and processing. In: Proc. of
the Int’l Conf. on Algorithms and Architectures for Parallel Processing. Springer-Verlag, 2013. 303–310.
[62] Chen WH, An JY, Li RF, Fu L, Xie GQ, Bhuiyan MZA, Li KQ. A novel fuzzy deep-learning approach to trafficflow prediction with
uncertain spatial–temporal data features. Future Generation Computer Systems, 2018,89:78–88.
[63] Jaribion A, Khajavi SH, Hossein Motlagh N, Holmström J. [wip] a novel method for big data analytics and summarization based on
fuzzysimilarity measure. In: Proc. of the 11th IEEE Conf. on Service-oriented Computing and Applications (SOCA). 2018.
221–226.
[64] Jha S, Raman V. On optimal control of stochastic linear hybrid systems. In: Proc. of the Int’l Conf. on Formal Modeling and
Analysis of Timed Systems. Springer-Verlag, 2016. 69–84.