碳化硅

Charon混合动力系统的模块化规范。提出了一种新的交互式混合系统模块化描述语言Charon。对于系统架构的分层描述,Charon支持通过实例化、隐藏和并行组合等操作来构建复杂的代理。对于原子组件行为的层次描述,它支持通过实例化、作用域和封装操作来构建复杂模式。弱抢占、历史保留和外部定义的Java函数等特性有助于描述复杂的离散行为。连续行为可以用微分约束和代数约束以及约束流空间的不变量来指定,所有这些都可以在层次结构的不同层次上声明。语言的模块化结构不仅仅是句法,而且可以在分析过程中加以利用。作者通过提出一种模块化仿真方案来说明这一点,在该方案中,每个模式都可以根据本地声明的信息进行编译,以执行其离散和连续的更新,并且子模式可以在比封闭模式更精细的时间尺度上集成。


zbMATH中的参考文献(参考 20篇文章 参考,1标准件)

显示第1到第20个结果,共20个。
按年份排序(引用)

  1. Konečný,Michal;Taha,Walid;Bartha,Ferenc A.;Duracz,Jan;Duracz,Adam;Ames,Aaron D.:封闭混合自动机在天顶点及之后的行为(2016)
  2. Bak,Stanley;Bogomolov,Sergiy;Johnson,Taylor T.:HYST:混合自动机模型的源转换和转换工具(2015)
  3. Bourke,Timothy;Pouzet,Marc:Zelus:a synchronous language with ODEs(蒂莫西);Pouzet,Marc:Zelus:a synchronous language with ODEs(2013年)
  4. Bauer,Kerstin;Schneider,Klaus:从同步程序到混合系统的符号表示(2010)
  5. Bartocci,E.;Corradini,F.;Di Berardini,M.R.;Entcheva,E.;Smolka,S.A.;Grosu,R.:使用混合I/O自动机对心脏组织进行建模和仿真(2009年)
  6. Bujorianu,Marius C.;Bujorianu,Manuela L.;Barringer,Howard:概率多智能体网络物理系统以用户为中心控制的正式框架(2009)
  7. Ciocchetta,Federica:Bio PEPA with events(2009年)
  8. 霍夫纳,彼得;莫勒,伯恩哈德:混合系统的代数(2009)
  9. Bartocci,Ezio;Corradini,Flavio;Di Berardini,Maria Rita;Entcheva,Emilia;Grosu,Radu;Smolka,Scott A.:用于模拟可兴奋组织的混合I/O自动机的空间网络(2008)
  10. 斯文,伯梅斯特;吉斯,霍尔格;Münch,埃克哈德;奥伯舍普,奥利弗;克莱恩,弗洛里安;舍德勒,彼得:自我优化机电多智能体系统设计的工具支持(2008)ioport公司
  11. Asarin,Eugene;Schneider,Gerardo;Yovine,Sergio:多边形杂交系统的算法分析。一: 可达性(2007)
  12. Alur,Rajeev;Grosu,Radu;Lee,Insup;Sokolsky,Oleg:分层混合系统的组合建模和优化(2006)
  13. Berkenkötter,Kirsten;Bisanz,Stefan;Hannemann,Ulrich;Peleska,Jan:UML(2.0)的hybridUML概要(2006)ioport公司
  14. Ellman,Thomas:基于物理动画的混合自动机的规范和合成(2006)ioport公司
  15. Graf,Susanne;Haugen,Oystein;Ober,Ileana;Selic,Bran:“UML中实时和嵌入式系统的规范和验证”序言(2006)ioport公司
  16. Kratz,Fabian;Sokolsky,Oleg;Pappas,George J.;Lee,Insup:R-Charon,可重构混合动力系统的建模语言(2006)
  17. 拉诺特,鲁格罗;马吉奥洛舍蒂尼,安德里亚:单调混合动力系统(2005)
  18. Kim,MoonZoo;Viswanathan,Mahesh;Kannan,Sampath;Lee,Insup;Sokolsky,Oleg:Java MaC:Java程序的运行时保证方法(2004)
  19. Alur,R.;Dang,T.;Esposito,J.;Fierro,R.;Hur,Y.;Ivančić,F.;Kumar,V.;Lee,i.;Mishra,P.;Pappas,G.;Sokolsky,O.:嵌入式系统的分层混合建模(2001)
  20. Alur,Rajeev;Grosu,Radu;Hur,Yerang;Kumar,Vijay;Lee,Insup:Charon混合动力系统的模块化规范(2000)