Calin Belta报道

随机动态系统控制的形式化方法

本奖项的澳门威尼斯人注册网站研究目标是为随机复杂系统建立一个理论框架，使给定一个规范，我们可以分析系统以确定实现该规范的概率，并自动找到一个输入规律以最大化该概率。澳门威尼斯人注册网站研究方法源于对现有[…]的适应。

该项目旨在定义一个动态控制，机器人辅助生物设计的新领域。一个由微型机器人、机器学习和合成生物学专家组成的澳门威尼斯人注册网站研究团队将专注于开发一种全新的方法来分析和复制哺乳动物组织中复杂的细胞模式。这项澳门威尼斯人注册网站研究不仅会产生新的生物学规律，[…]

人类诱导多能干细胞（hiPSC）衍生的类器官在组织工程和个性化药物筛选方面具有很大的前景，但是从这些系统中获得所需的多细胞组织和功能通常是在没有前瞻性设计规范的情况下以特别的方式进行的。最近，我们报道了成功的肝芽形成，其中包含基质细胞，血管管样结构和造血样结构[…]

许多应用程序需要不同类型的机器人团队相互协作，并与人类协作来完成复杂的任务。例如，考虑一个未来的机器人餐厅，其目标是制作热狗，并将它们与饮料一起提供给即将到来的顾客。几个机器人操纵器有传感器和执行器，允许它们[…]

患有疾病或有缺陷的重要器官的人通常需要器官替代来生存，但由于缺乏合适的组织匹配供体以及死后器官退化和免疫排斥等复杂性，替代器官的可用性受到严重限制。这些问题可以通过使用高保真的人造器官来克服，但实现这一目标面临着艰巨的挑战。

如何在长时间内部署自主机器人团队，以便操作员可以招募和分配任务，执行各种各样的任务？这类任务的例子包括在生物保护应用或精准农业中遇到的环境监测任务。这个项目将解决[…]

纳米技术和合成生物学的最新发展为生物工程提供了一个新的方向：合成多细胞细菌和哺乳动物系统的集体行为和时空模式。这将在诸如非晶计算、纳米制造，特别是组织工程等领域产生巨大影响，在这些领域中，模式可用于分化干细胞[…]

该项目的目标是开发一种正式的交通管理方法。形式化方法是计算机科学的一个领域，它发展了有效的技术来证明系统的正确操作，如计算机程序和数字电路，以及设计结构正确的系统。这个项目扩展了这种形式主义[…]