• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 161 matches

• 2022
• 
  Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev:
  Simulation of hybrid systems under Zeno behavior using numerical infinitesimals. Commun. Nonlinear Sci. Numer. Simul. 111: 106443 (2022)
• 
  Jin Woo Ro, Avinash Malik, Partha S. Roop:
  High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata. IEEE Trans. Computers 71(7): 1668-1680 (2022)
• 
  Daniele Linaro, Davide del Giudice, Angelo Brambilla, Federico Bizzarri:
  Application of Envelope-Following Techniques to the Simulation of Hybrid Power Systems. IEEE Trans. Circuits Syst. I Regul. Pap. 69(4): 1800-1810 (2022)
• 
  Surinder Sood, Avinash Malik, Partha S. Roop:
  Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. MEMOCODE 2022: 1-11
• 
  Alexander Holtwerth, André Xhonneux, Dirk Müller:
  Data-Driven Generation of Mixed-Integer Linear Programming Formulations for Model Predictive Control of Hybrid Energy Storage Systems using detailed nonlinear Simulation Models. OSMSES 2022: 1-6
• 2021
• 
  B. Six, Belkacem Ould Bouamama, Anne-Lise Gehin:
  Model builder for diagnosis and simulation of hybrid dynamic systems: Application to railway rolling stock. Simul. 97(1) (2021)
• 
  Yichang Hu, Lu Lu:
  Design of a simulation model for high performance LINPACK in hybrid CPU-GPU systems. J. Supercomput. 77(12): 13739-13756 (2021)
• 
  Pavithra Prabhakar, Jun Liu:
  Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. ADHS 2021: 115-120
• 
  Lelio Campanile, Marco Gribaudo, Mauro Iacono, Michele Mastroianni:
  Hybrid Simulation of Energy Management in IoT Edge Computing Surveillance Systems. EPEW 2021: 345-359
• 2020
• 
  Renato Pontes Rodrigues, Alexandre Ferreira de Pinho, David Custódio de Sena:
  Application of Hybrid Simulation in production scheduling in job shop systems. Simul. 96(3) (2020)
• 
  Ezequiel Pecker Marcosig, Sebastián Zudaire, Martín Garrett, Sebastián Uchitel, Rodrigo D. Castro:
  Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems. WSC 2020: 1051-1062
• 
  Jan Reitz, Alexander Gugenheimer, Jürgen Roßmann:
  Virtual Hardware in the Loop: Hybrid Simulation of Dynamic Systems with a Virtualization Platform. WSC 2020: 1027-1038
• 2019
• 
  Hao Ren, Ratnesh Kumar:
  Simulation-based verification of bounded-horizon safety for hybrid systems using dynamic number of simulations. IET Cyper-Phys. Syst.: Theory & Appl. 4(3): 250-258 (2019)
• 
  Mohamed Fouzi Belazreg, Khaled Halbaoui, Djamel Boukhetala, Mohamed El-Hadi Boulheouchat:
  Modelling, simulation and control of a class of hybrid dynamic systems: using hybrid automaton, APROS and mixed integer quadratic optimisation algorithm. Int. J. Comput. Appl. Technol. 60(2): 87-107 (2019)
• 
  Kadda Mostefaoui, Youcef Dahmani:
  NB-DEVS: a hybrid approach for modelling and simulation of imperfect systems. Int. J. Simul. Process. Model. 14(4): 377-388 (2019)
• 
  Shinji Sakamoto, Kosuke Ozera, Admir Barolli, Makoto Ikeda, Leonard Barolli, Makoto Takizawa:
  Implementation of an intelligent hybrid simulation systems for WMNs based on particle swarm optimization and simulated annealing: performance evaluation for different replacement methods. Soft Comput. 23(9): 3029-3035 (2019)
• 
  Zhan-Heng Dai, Wei-Feng Chen, Li-Min Li, Ruofei Ma, Bo Li, Gongliang Liu:
  Comparative Simulation for Nonlinear Effect of Hybrid Optical Fiber-Links in High-Speed WDM Systems. CSPS 2019: 1787-1794
• 
  Yunosuke Yamada, Masashi Sato, Kazunori Ueda:
  Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. CyPhy/WESE 2019: 153-178
• 
  Max J. Arzberger, Dirk Zimmer:
  A Modelica-based environment for the simulation of hybrid-electric propulsion systems. Modelica 2019: 157:048
• 
  Kamila Kluska, Anna Zwolankiewicz:
  Hybrid Approach for Simulation Modeling of the Milk-Run Systems with Ergonomic Analysis. PAAMS (Workshops) 2019: 27-38
• 2018
• 
  Hadi Zaatiti:
  Modeling and qualitative simulation of hybrid systems. (Modélisation et simulation qualitative de systèmes hybrides). University of Paris-Saclay, France, 2018
• 
  Massimo Ficco, Roberto Pietrantuono, Stefano Russo:
  Hybrid Simulation and Test of Vessel Traffic Systems on the Cloud. IEEE Access 6: 47273-47287 (2018)
• 
  Pavithra Prabhakar, Jun Liu, Richard M. Murray:
  Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. 28(3): 349-374 (2018)
• 
  Khalid Nagadi, Luis Rabelo, Mohammed Basingab, Alfonso T. Sarmiento, Albert T. Jones, Ahmad Rahal:
  A hybrid simulation-based assessment framework of smart manufacturing systems. Int. J. Comput. Integr. Manuf. 31(2): 115-128 (2018)
• 
  Latéfa Ghomri, Hassane Alla:
  Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive systems. Int. J. Simul. Process. Model. 13(1): 24-34 (2018)
• 
  Berenice Gudiño-Mendoza, Ernesto López-Mellado, Enrique Aguayo-Lara:
  A scheme for the simulation of networked agent systems modeled by timed hybrid Petri nets. Simul. 94(10): 887-909 (2018)
• 
  Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger:
  Qualitative Simulation of Hybrid Systems with an Application to SysML Models. MODELSWARD 2018: 279-286
• 
  Andreas Tolk, Fernando J. Barros, Andrea D'Ambrogio, Akshay Rajhans, Pieter J. Mosterman, Sachin S. Shetty, Mamadou K. Traoré, Hans Vangheluwe, Levent Yilmaz:
  Hybrid simulation for cyber physical systems: a panel on where are we going regarding complexity, intelligence, and adaptability of CPS using simulation. SpringSim (MSCIAAS) 2018: 3:1-3:19
• 
  Andreas Tolk, Ernest H. Page, Saurabh Mittal:
  Hybrid simulation for cyber physical systems: state of the art and a literature review. SpringSim (ANSS) 2018: 10:1-10:12
• 2017
• 
  Ayman Aljarbouh:
  Accelerated Simulation of Hybrid Systems : Method combining static analysis and run-time execution analysis. (Simulation Accélérée des Systèmes Hybrides : méthode combinant analyse statique et analyse à l'exécution). University of Rennes 1, France, 2017

skipping 131 more matches