REASONING ABOUT EFFECTS: FROM LISTS TO CYBER-PHYSICAL AGENTS

被引:0
|
作者
Mason, Ian A. [1 ]
Talcott, Carolyn [1 ]
机构
[1] SRI Int, 333 Ravenswood Ave, Menlo Pk, CA 94025 USA
关键词
effects; actors; operational equivalence; PROGRAMS;
D O I
10.23638/LMCS-15(2:8)2019
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Theories for reasoning about programs with effects initially focused on basic manipulation of lists and other mutable data. The next challenge was to consider higher-order programming, adding functions as first class objects to mutable data. Reasoning about actors added the challenge of dealing with distributed open systems of entities interacting asynchronously. The advent of cyber-physical agents introduces the need to consider uncertainty, faults, physical as well as logical effects. In addition cyber-physical agents have sensors and actuators giving rise to a much richer class of effects with broader scope: think of self-driving cars, autonomous drones, or smart medical devices. This paper gives a retrospective on reasoning about effects highlighting key principles and techniques and closing with challenges for future work.
引用
收藏
页码:8:1 / 8:15
页数:15
相关论文
共 50 条
  • [21] CYBER-PHYSICAL EFFECTS ON THE VIRTUAL COMMISSIONING ARCHITECTURE
    Illmer, Benjamin
    Kaspar, Jerome
    Vielhaber, Michael
    DS87-5 PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 17), VOL 5: DESIGN FOR X, DESIGN TO X, 2017, : 169 - 178
  • [22] Quantisation Effects in Adversarial Cyber-Physical Games
    Adams, Takuma
    Cullen, Andrew C.
    Alpcan, Tansu
    DECISION AND GAME THEORY FOR SECURITY, GAMESEC 2023, 2023, 14167 : 153 - 171
  • [23] Abusive adversarial agents and attack strategies in cyber-physical systems
    Gaur, Viraj Singh
    Sharma, Vishal
    McAllister, John
    CAAI TRANSACTIONS ON INTELLIGENCE TECHNOLOGY, 2023, 8 (01) : 149 - 165
  • [24] Cyber-Physical Zero Trust Architecture for Industrial Cyber-Physical Systems
    Feng, Xiaomeng
    Hu, Shiyan
    IEEE Transactions on Industrial Cyber-Physical Systems, 2023, 1 : 394 - 405
  • [25] Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulationQualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized...B. Gueuziec et al.
    Baptiste Gueuziec
    Jean-Pierre Gallois
    Frédéric Boulanger
    Innovations in Systems and Software Engineering, 2024, 20 (4) : 511 - 529
  • [26] An Architecture for a Cyber-Physical Healthcare Delivery System with Human Agents
    Khayal, Inas S.
    Farid, Amro M.
    2017 IEEE FIRST SUMMER SCHOOL ON SMART CITIES (S3C), 2017, : 126 - 131
  • [27] Why should we care about cyber-physical systems?
    Srinivasan, V., 1600, American Society of Mechanical Engineers, 3 Park Avenue, New York, NY 10016-5990, United States (13):
  • [28] Cyber-physical Systems
    Wolf, Wayne
    COMPUTER, 2009, 42 (03) : 88 - 89
  • [29] Cyber-Physical Handshake
    Wu, Fang-Jing
    Chu, Feng-I
    Tseng, Yu-Chee
    ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2011, 41 (04) : 472 - 473
  • [30] Why should we care about Cyber-Physical Systems?
    Srinivasan, Vijay
    JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2013, 13 (03)