Open Maps, Alternating Simulations and Control Synthesis

机译：开放地图，交替模拟和控制综合

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis of interfaces, distributed network monitors or reactive programs are some examples that benefit from this design paradigm. In this paper we shed new light on the interplay between the fundamental notion of bisimulation and the control synthesis problem. We first revisit the notion of alternating simulation introduced by Alur and co-workers as it naturally captures important ingredients of the control synthesis problem. We then show that existence of controllers enforcing specifications through bisimulation, alternating simulation or simulation can be characterized by the existence of certain alternating simulations and bisimulations between the specification and the system to be controlled. These results highlight and unify the role of simulations and bisimulations in the control synthesis setting for a wide range of concurrency models. This is achieved by developing our study within the framework of open maps. We illustrate our results on transition systems and timed transition systems.

机译：控制综合正在工程领域内逐渐超越其传统的应用领域，以找到计算机科学中有趣且有用的应用。接口，分布式网络监视器或反应程序的综合是受益于此设计范例的一些示例。在本文中，我们为双仿真的基本概念与控制综合问题之间的相互作用提供了新的思路。我们首先回顾一下Alur和他的同事们引入的交替仿真的概念，因为它自然地抓住了控制综合问题的重要组成部分。然后，我们表明，通过双仿真，交替仿真或仿真来执行规范的控制器的存在可以通过规范和要控制的系统之间存在某些交替仿真和双仿真来表征。这些结果突出并统一了模拟和双模拟在多种并发模型的控制综合设置中的作用。这是通过在开放地图的框架内开展研究来实现的。我们将说明过渡系统和定时过渡系统的结果。

著录项

来源
《International Conference on Concurrency Theory(CONCUR 2004); 20040831-20040903; London; GB》|2004年|P.466-480|共15页
会议地点 London(GB);London(GB)
作者
Paulo Tabuada;
展开▼
作者单位

Department of Electrical Engineering University of Notre Dame Notre Dame, IN 46556;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类 TP393.01;
关键词

相似文献

外文文献
中文文献
专利

1. SIMULATION OF ELECTRIC CIRCUIT AS A STAGE IN DEVELOPMENT OF POWER SOURCE WITH CONTROLLABLE SHAPE OF ALTERNATING CURRENT [J] . V. V. ANDREEV, E. M. EFREMENKO, G. N. MOSKOVICH The Paton Welding Journal . 2011,第Feba期

机译：交流电形状可控的电源开发模拟电路
2. Alternating spin chains: Controlled assembly from bimetallic building blocks and QMC simulation of spin correlation [J] . Demeshko S, Leibeling G, Dechert S, Chemphyschem: A European journal of chemical physics and physical chemistry . 2007,第3期

机译：交替的旋转链：来自双金属构建块的控制组件和旋转相关性的QMC模拟
3. Conservative and entropy controlled remap for multi-material ALE simulations with space-staggered schemes [J] . Marboeuf Alexis, Claisse Alexandra, Le Tallec Patrick Journal of Computational Physics . 2019,第期

机译：具有空间交错方案的多材料ALE模拟的保守和熵控制REMAP
4. Open Maps, Alternating Simulations and Control Synthesis [C] . Paulo Tabuada International conference on concurrency theory . 2004

机译：打开地图，交替模拟和控制合成
5. Controlled Synthesis of Nanoparticles Using the Alternating Current Method [D] . ?Pan, Dingjie 2020

机译：使用交流法控制纳米颗粒的合成
6. Simulations of the Alternating Access Mechanism of the Sodium Symporter Mhp1 [O] . Joshua L. Adelman, Amy L. Dale, Matthew C. Zwier, 2011

机译：钠转运蛋白Mhp1交替进入机制的模拟
7. The oceans mediate the response of global climate to natural and anthropogenic forcings. Yet for the past 2,000 years — a key interval for understanding the present and future climate response to these forcings — global sea surface temperature changes and the underlying driving mechanisms are poorly constrained. Here we present a global synthesis of sea surface temperatures for the Common Era (ce) derived from 57 individual marine reconstructions that meet strict quality control criteria. We observe a cooling trend from 1 to 1800 ce that is robust against explicit tests for potential biases in the reconstructions. Between 801 and 1800 ce, the surface cooling trend is qualitatively consistent with an independent synthesis of terrestrial temperature reconstructions, and with a sea surface temperature composite derived from an ensemble of climate model simulations using best estimates of past external radiative forcings. Climate simulations using single and cumulative forcings suggest that the ocean surface cooling trend from 801 to 1800 ce is not primarily a response to orbital forcing but arises from a high frequency of explosive volcanism. Our results show that repeated clusters of volcanic eruptions can induce a net negative radiative forcing that results in a centennial and global scale cooling trend via a decline in mixed-layer oceanic heat content. [O] . McGregor, Helen V., Evans, Michael N., Goosse, Hugues, 2015

机译：海洋调节了全球气候对自然和人为强迫的响应。然而，在过去的2,000年中（这是了解当前和未来气候对这些强迫的响应的关键间隔），全球海表温度变化及其潜在的驱动机制受到的约束很有限。在这里，我们提出了一个共同的时期（ce）的全球海面温度的全球综合，该综合来自57个符合严格质量控制标准的海洋重建项目。我们观察到从1到1800 ce的冷却趋势，对于显式测试重建中潜在的偏倚而言，该趋势很稳健。在801至1800 ce之间，表面降温趋势在质量上与地面温度重建的独立合成以及从使用过去外部辐射强迫的最佳估计的气候模型模拟集合推导出的海面温度合成在质量上是一致的。使用单一和累积强迫的气候模拟表明，从801到1800 ce的海洋表面冷却趋势主要不是对轨道强迫的反应，而是爆炸性火山爆发的频繁发生。我们的结果表明，火山喷发的反复簇可引起净的负辐射强迫，这会导致混合层海洋热量降低而导致百年和全球规模的降温趋势。

Open Maps, Alternating Simulations and Control Synthesis

摘要

著录项

相似文献

相关主题

期刊订阅