Formal assessment of some properties of Context-Aware Systems

##plugins.themes.academic_pro.article.sidebar##

Published Nov 1, 2019
https://doi.org/10.47164/ijngc.v10i3.168
Download
PDF
Statistic

Downloads

Download data is not yet available.

Metrics

Metrics Loading ...
Volume 10, Issue 3, November 2019

##plugins.themes.academic_pro.article.main##

Fabio Alberto Schreiber
Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy
Maria Elena Valcher
Department of Information Engineering, University of Padova Padova, Italy

Abstract

Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implementation, especially in safety-critical applications. In this paper, using an avalanche/landslide alert system as a running example, we propose a technique, based on Boolean Control Networks, to verify that the system dynamics has stable equilibrium states, corresponding to constant inputs, and hence it does not exhibit oscillatory behaviors, and to establish other useful properties in order to implement a precise and timely alarm system.

##plugins.themes.academic_pro.article.details##

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite
Fabio Alberto Schreiber, & Maria Elena Valcher. (2019). Formal assessment of some properties of Context-Aware Systems. International Journal of Next-Generation Computing, 10(3), 163–177. https://doi.org/10.47164/ijngc.v10i3.168
Crossref
Scopus
Google Scholar
Europe PMC

References

  1. BOLCHINI, C., CURINO, C., ORSI, G., QUINTARELLI, E., ROSSATO, R., SCHREIBER, F. A., AND TANCA, L. 2009. And what can context do for data? Commun. ACM 52, 11, 136-140.
  2. BOLCHINI, C., CURINO, C., QUINTARELLI, E., SCHREIBER, F. A., AND TANCA, L. 2007. A data-oriented survey of context models. ACM SIGMOD Record 36, n.4, 19-26.
  3. CHENG, D. AND QI, H. 2009. Controllability and observability of Boolean Control Networks. Automatica 45, 7, 1659 - 1667.
  4. CHENG, D. AND QI, H. 2010a. A linear representation of dynamics of Boolean Networks. IEEE Transactions on Automatic Control 55, 10 (Oct), 2251-2258.
  5. CHENG, D. AND QI, H. 2010b. State space analysis of Boolean Networks. IEEE Transactions on Neural Networks 21, 4 (April), 584-594.
  6. CHENG, D., QI, H., AND LI, Z. 2011. Analysis and control of Boolean networks. Springer-Verlag, London.
  7. CHENG, D., QI, H., LI, Z., AND LIU, J. B. 2011. Stability and stabilization of Boolean networks. Int. J. Robust Nonlin. Contr. 21, 134-156.
  8. CHERFIA, T. A., BELALA, F., AND BARKAOUI, K. 2014. Towards formal modeling and verification of context-aware systems. In VECoS.
  9. DEY, A. K. 2001. Understanding and using context. Personal Ubiquitous Computing 5, 1 (January), 4-7.
  10. DIAO, Y., HELLERSTEIN, J. L., PAREKH, S., GRIFFITH, R., KAISER, G., AND PHUNG, D. 2005. Self-managing systems: A control theory foundation. In 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05). 441-448.
  11. DJOUDI, B., BOUANAKA, C., AND ZEGHIB, N. 2016. A formal framework for context-aware systems specification and verification. J. Syst. Softw. 122, C (Dec.), 445-462.
  12. FORNASINI, E. AND VALCHER, M. E. 2013a. Observability, reconstructibility and state observers of Boolean control networks. IEEE Tran. Aut. Contr. 58 (6), 1390 - 1401.
  13. FORNASINI, E. AND VALCHER, M. E. 2013b. On the periodic trajectories of Boolean Control Networks. Automatica 49, 1506-1509.
  14. FORNASINI, E. AND VALCHER, M. E. 2015a. Fault detection analysis of Boolean control networks. IEEE Trans. Automatic Control, DOI: 10.1109/TAC.2015.2396646.
  15. FORNASINI, E. AND VALCHER, M. E. 2015b. Fault detection problems for Boolean networks and Boolean control networks. In Proc. of the 34th Chinese Control Conference. Hangzhou, China, 1-8.
  16. FORNASINI, E. AND VALCHER, M. E. 2016. Recent developments in Boolean Control Networks. Journal of Control and Decision 3, 1, 1-18.
  17. LASCHOV, D., MARGALIOT, M., AND EVEN, G. 2013. Observability of Boolean networks: A graph-theoretic approach. Automatica 49 (8), 2351-2362.
  18. NZEKWA, R., ROUVOY, R., AND SEINTURIER, L. 2010. A flexible context stabilization approach for self-adaptive application. In 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). 7-12.
  19. PADOVITZ, A., ZASLAVSKY, A. B., LOKE, S. W., AND BURG, B. 2004. Stability in context-aware pervasive systems: A statespace
  20. modeling approach. INSTICC, Ed. 129-138.
  21. PADOVITZ, A., ZASLAVSKY, A. B., LOKE, S. W., AND BURG, B. 2005. Maintaining continuous dependability in sensor-based context-aware pervasive computing systems. Proceedings of the 38th Annual Hawaii International Conference on System Sciences, 290a-290a.
  22. SCHREIBER, F. A. AND PANIGATI, E. 2017. Context-aware self adapting systems: a ground for the cooperation of data, software, and services. IJNGC 8, 1.
  23. SUTAVANI, S., SONAM, K.,WAGH, S., AND SINGH, N. 2019. Disturbance decoupling and instantaneous fault detection in Boolean Control Networks.
  24. ZHANG, K. AND ZHANG, L. 2016. Observability of Boolean Control Networks: A unified approach based on Finite Automata. IEEE Trans. Automatic Control 61 (9), 2733-2738.
  25. ZHANG, Z., LEIFELD, T., AND ZHANG, P. 2018. Active fault detection of Boolean Control Networks. In Proc. of the American Control Conference (ACC) 2018. Milwaukee, WI, 5001-5006.