A computational approach to synthesizing guards for hybrid systems
- 期刊名称Systems & Control Letters
- 作者Coogan, Samuel; Arcak, Murat
- 卷第73卷
- 印刷ISSN0167-6911
- 文件大小989.26KB
- 发表时间2014-11
- DOI10.1016/j.sysconle.2014.08.016
- 页码25-32
Testing leptoquark models inSakaki, Yasuhito; Watanabe, Ryoutaro; Tanaka, Minoru; Tayduganov, Andrey · Physical Review D · 2013
distributions inSakaki, Yasuhito; Tanaka, Minoru; Tayduganov, Andrey; Watanabe, Ryoutaro · Physical Review D · 2015
New physics in the weak interaction ofTanaka, Minoru; Watanabe, Ryoutaro · Physical Review D · 2013
New physics contributions in B→πτν¯ and B→τν¯Tanaka, Minoru; Watanabe, Ryoutaro · Progress of Theoretical and Experimental Physics · 2017
Lepton flavor violation in the supersymmetric seesaw model after the LHC 8 TeV runGoto, Toru; Okada, Yasuhiro; Shindou, Tetsuo; Tanaka, Minoru; Watanabe, Ryoutaro · Physical Review D · 2015
Thermal properties of time machinesGonzález-Díaz, Pedro F. · Physical Review D · 2012
extension of the standard modelBasso, Lorenzo; Moretti, Stefano; Pruna, Giovanni Marco · Physical Review D · 2010
limitMilekhin, A. · Physical Review D · 2012
Minkowski vacuum stress tensor fluctuationsFord, L. H.; Roman, Thomas A. · Physical Review D · 2005
Fluctuations of the Hawking fluxWu, C.-H.; Ford, L. H. · Physical Review D · 1999
Nonstatic Schwarzschild Model of a StarRoss, James A. · Physical Review D · 1973
cosmologiesMeyer, Sven; Pace, Francesco; Bartelmann, Matthias · Physical Review D · 2012
Attractors, universality, and inflationDownes, Sean; Dutta, Bhaskar; Sinha, Kuver · Physical Review D · 2012