- Hierarchical symbolic analysis of analog integrated circuits via determinant decision diagrams Xiang-Dong Tan C.-J.R. Shi Fri 02 March 2012
- Discrete abstractions of hybrid systems R. Alur T.A. Henzinger G. Lafferriere G.J. Pappas Fri 02 March 2012
- Effective synthesis of switching controllers for linear systems E. Asarin O. Bournez T. Dang O. Maler A. Pnueli Fri 02 March 2012
- Scheduling flexible manufacturing systems using Petri nets and heuristic search Doo Yong Lee F. DiCesare Fri 02 March 2012
- A hierarchical network approach to symbolic analysis of large-scale networks M.M. Hassoun Pen-Min Lin Fri 02 March 2012
- Generation of sequential symbolic network functions for large-scale networks by circuit reduction to two-port M. Pierzchala B. Rodanski Fri 02 March 2012
- Symbolic analysis of large analog circuits using a sensitivity-driven enumeration of common spanning trees P. Wambacq P. Dobrovolny G.G.E. Gielen W. Sansen Fri 02 March 2012
- On invariant polyhedra of continuous-time linear systems E.B. Castelan J.C. Hennet Fri 02 March 2012
- A unified framework for hybrid control: model and optimal control theory M.S. Branicky V.S. Borkar S.K. Mitter Fri 02 March 2012
- Algorithmic analysis of nonlinear hybrid systems T.A. Henzinger Pei-Hsin Ho H. Wong-Toi Fri 02 March 2012
- A structure exploiting algorithm for approximate robust optimal control with application to power generating kites J. Sternberg B. Houska M. Diehl Fri 02 March 2012
- Spatial uniformity in diffusively-coupled systems using weighted norm contractions S. Yusef Shafi Zahra Aminzare Murat Arcak Eduardo D. Sontag Fri 02 March 2012
- An exact and efficient algorithm for segmentation of ARX models Necmiye Ozay Fri 02 March 2012
- Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks Roland Kindermann Tommi Junttila Ilkka Niemela Fri 02 March 2012
- Timed Automata with Parametric Updates Etienne Andre Didier Lime Mathias Ramparison Fri 02 March 2012
- Property Testing For Differential Privacy ANNA C. GILBERT AUDRA MCMILLAN Fri 02 March 2012
- SAT-Based Automata Construction for LTL over Finite Traces Yingying Shi Shengping Xiao Jianwen Li Jian Guo Geguang Pu Fri 02 March 2012
- Automata-based verification of temporal properties on running programs D. Giannakopoulou K. Havelund Fri 02 March 2012
- General LTL Specification Mining (T) Caroline Lemieux Dennis Park Ivan Beschastnikh Fri 02 March 2012
- ICoq: Regression proof selection for large-scale verification projects Ahmet Celik Karl Palmskog Milos Gligoric Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
