Formal analysis of intelligent agents for model-based medicine usage management

被引：0
|
作者：
Hoogendoorn, Mark [1 ]
Klein, Michel [1 ]
Memon, Zulfiqar [1 ]
Treur, Jan [1 ]
机构：
[1] Vrije Univ Amsterdam, Dept Artificial Intelligence, NL-1081 HV Amsterdam, Netherlands
来源：
HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 1 | 2008年
关键词：
model-based; agent; medicine usage management; formal analysis;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A model-based agent system model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamical system model to estimate the medicine level in the patient's body by simulation, is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this.
引用
收藏
页码：148 / 155
页数：8
相关论文
共 50 条
  • [31] Model-Based Development and Formal Methods in the Railway Industry
    Ferrari, Alessio
    Fantechi, Alessandro
    Gnesi, Stefania
    Magnani, Gianluca
    [J]. IEEE SOFTWARE, 2013, 30 (03) : 28 - 34
  • [32] On controller and plant modeling for model-based formal verification
    Lobov, Andrei
    Lastra, Jose L. Martinez
    Tuokko, Reijo
    [J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 121 - 128
  • [33] Prospective Memory and Aging: Formal Model-Based Approaches
    Horn, S. S.
    Bayen, U. J.
    Smith, R.
    [J]. JOURNAL OF PSYCHOPHYSIOLOGY, 2011, 25 : 37 - 37
  • [34] A formal approach to AADL model-based software engineering
    Hana Mkaouar
    Bechir Zalila
    Jérôme Hugues
    Mohamed Jmaiel
    [J]. International Journal on Software Tools for Technology Transfer, 2020, 22 : 219 - 247
  • [35] A formal approach to AADL model-based software engineering
    Mkaouar, Hana
    Zalila, Bechir
    Hugues, Jerome
    Jmaiel, Mohamed
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2020, 22 (02) : 219 - 247
  • [36] Cloud Model-Based Intelligent Construction Management Level Assessment of Prefabricated Building Projects
    An, Hongda
    Jiang, Lei
    Chen, Xingwen
    Gao, Yunli
    Wang, Qingchun
    [J]. Buildings, 2024, 14 (10)
  • [37] A manifesto for model-based management
    Schwaninger, Markus
    Rios, Jose Perez
    [J]. KYBERNETES, 2010, 39 (9-10) : 1414 - 1418
  • [38] A model-based statistical usage testing of communication protocols
    Popovic, Miroslav
    Basicevic, Ilija
    Velikic, Ivan
    Tatic, Jelena
    [J]. 13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 377 - +
  • [39] AISAS model-based statistical analysis for intelligent eldercare products consumption research
    Gao, Yu
    [J]. JOURNAL OF COMBINATORIAL OPTIMIZATION, 2023, 45 (05)
  • [40] Model-Based Specification and Refinement of Usage Control Policies
    Neisse, Ricardo
    Doerr, Joerg
    [J]. 2013 ELEVENTH ANNUAL INTERNATIONAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), 2013, : 169 - 176
12345