Scholarlink

This chapter develops a decomposition technique that can be used to circumvent the curse of dimensionality for counters. It can be viewed as a step towards more general techniques to be presented in subsequent chapters in Part II. The basic idea underlying the decomposition technique applies to QPLEX maps using either simple or advanced transition dynamics. To ease notational burdens, we work with QPLEX maps defined by simple transition dynamics.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Subsystem QPLEX Calculus

  • 章节

  • 出版模式：

    开放获取

  • 发表日期：

    2025年

查看全文
  • Antonius B. Dieker,
  • Steven T. Hackman

摘要

This chapter develops a decomposition technique that can be used to circumvent the curse of dimensionality for counters. It can be viewed as a step towards more general techniques to be presented in subsequent chapters in Part II. The basic idea underlying the decomposition technique applies to QPLEX maps using either simple or advanced transition dynamics. To ease notational burdens, we work with QPLEX maps defined by simple transition dynamics.