Hybrid Systems Modeling Challenges Caused by Cyber-Physical Systems (cid:63)

No abstract is available for this paper.

• Publication year

  2013

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Not labeled

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Principles of Object-Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach

  2014influential reference
• Zélus: a synchronous language with ODEs

  2013influential reference
• Modeling Cyber–Physical Systems

  2012influential reference
• Distributed Real-Time Software for Cyber–Physical Systems

  2012influential reference
• Non-standard semantics of hybrid systems modelers

  2012influential reference
• Special Issue on Cyber-Physical Systems [Scanning the Issue]

  2012influential reference
• State Machines in Modelica

  2012cited by this paper
• Higher order event capturing time-stepping schemes for nonsmooth multibody systems with unilateral constraints and impacts

  2012cited by this paper
• Divide and recycle: types and compilation for a hybrid synchronous language

  2011influential reference
• A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code

  2011influential reference
• Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics

  2008influential reference
• Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

  2007cited by this paper
• Operational Semantics of Hybrid Systems

  2005cited by this paper
• Platform-Based and Derivative Design

  2005influential reference
• SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers

  2005cited by this paper
• System level design paradigms: Platform-based design and communication synthesis

  2004cited by this paper
• Principles of object-oriented modeling and simulation with Modelica 2.1

  2004cited by this paper
• The synchronous languages 12 years later

  2003influential reference
• Taming heterogeneity - the Ptolemy approach

  2003influential reference
• Type-based initialization analysis of a synchronous dataflow language

  2002influential reference
• Platform-Based Design and Software Design Methodology for Embedded Systems

  2001cited by this paper
• An Introduction to Moreau’s Sweeping Process

  2000cited by this paper
• Hybrid modeling in Modelica based on the synchronous data flow principle

  1999cited by this paper
• Physical system modeling with Modelica

  1998cited by this paper
• Continuous System Simulation

  1994influential reference
• Adaptive Control

  1993cited by this paper
• From Timed to Hybrid Systems

  1991cited by this paper
• Analyse non standard

  1985cited by this paper
• DYMOLA - A Structured Model Language for Large Continuous Systems

  1978influential reference
• Non-Standard Analysis

  1977cited by this paper

• Cyber-physical systems security: Limitations, issues and future trends

  2020cites this paper
• Rigorous design of cyber-physical systems

  2017cites this paper
• Self-Evolutionary Cyber Physical Systems: Leap towards smart CPS

  2016cites this paper