2000 character limit reached
A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems (2007.03065v1)
Published 6 Jul 2020 in eess.SY and cs.SY
Abstract: The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correctness and dependability properties. Many of these properties are common to Automatic Control systems, a field that developed well established analysis and design techniques to formalize and investigate them. In this paper, we use Boolean Control Networks, to discuss some properties of a feedback Context-aware system in a case study based on a healthcare management example.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
