Author:
Seghaier Ibtissem,Tahar Sofiène
Publisher
Springer International Publishing
Reference22 articles.
1. Lin, H., Antsaklis, P.J., et al.: Hybrid dynamical systems: an introduction to control and verification. Found. Trends Syst. Control 1(1), 1–172 (2014)
2. Wolf, M.: High-performance embedded computing: applications in cyber-physical systems and mobile computing (2014)
3. da Silva Azevedo, L., Parker, D., Walker, M., Papadopoulos, Y., Araujo, R.E.: Assisted assignment of automotive safety requirements. IEEE Softw. J. 31(1), 62–68 (2014)
4. Bouissou, M., Elmqvist, H., Otter, M., Benveniste, A.: Efficient Monte Carlo simulation of stochastic hybrid systems. (96), pp. 715–725 (2014)
5. Fränzle, M., Hermanns, H., Teige, T.: Stochastic satisfiability modulo theory: a novel technique for the analysis of probabilistic hybrid systems. In: International Workshop on Hybrid Systems: Computation and Control, pp. 172–186 (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献