Physical models

Results: 701



#Item
1VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2018-05-02 15:22:10
2Project Profile EMPHYSIS Enhanced production code for improved system performance The major goal of the ITEA project EMPHYSIS (EMbedded systems with PHYSical models In the production code Software) is to enhance the pro

Project Profile EMPHYSIS Enhanced production code for improved system performance The major goal of the ITEA project EMPHYSIS (EMbedded systems with PHYSical models In the production code Software) is to enhance the pro

Add to Reading List

Source URL: itea3.org

Language: English
    3Lunar Physical Libration & Interior Structure: Theoretical Models & Observation Alexander Gusev NAOC CAS & Kazan university Sept., 24, 2014 Cm

    Lunar Physical Libration & Interior Structure: Theoretical Models & Observation Alexander Gusev NAOC CAS & Kazan university Sept., 24, 2014 Cm

    Add to Reading List

    Source URL: colloquium.bao.ac.cn

    Language: English - Date: 2018-03-15 03:07:24
      43rd National Congress on Physical Sciences, 29 Sept. – 2 Oct. 2016, Sofia Section: Theoretical Physics On the RG Flow in the Two-Dimensional Coset Models Marian Stanishkov1

      3rd National Congress on Physical Sciences, 29 Sept. – 2 Oct. 2016, Sofia Section: Theoretical Physics On the RG Flow in the Two-Dimensional Coset Models Marian Stanishkov1

      Add to Reading List

      Source URL: theo.inrne.bas.bg

      Language: English - Date: 2016-10-31 16:38:06
        5Lecture: Dynamical models of physical systems Automatic Control 1 Dynamical models of physical systems Prof. Alberto Bemporad

        Lecture: Dynamical models of physical systems Automatic Control 1 Dynamical models of physical systems Prof. Alberto Bemporad

        Add to Reading List

        Source URL: cse.lab.imtlucca.it

        Language: English - Date: 2011-03-14 05:09:00
          620-sim 4C Real Time Toolbox 1.1 What is 20-sim 4C? 20-sim 4C is a prototyping environment that allows you to connect 20-sim models to physical systems. The models can be executed as real-time C-code on

          20-sim 4C Real Time Toolbox 1.1 What is 20-sim 4C? 20-sim 4C is a prototyping environment that allows you to connect 20-sim models to physical systems. The models can be executed as real-time C-code on

          Add to Reading List

          Source URL: www.20sim.com

          Language: English - Date: 2012-10-01 06:23:12
            7Title:  Formal Synthesis of Control Strategies for Dynamical Systems Abstract: In control theory, complex models of physical processes, such as systems of differential equations, are analyzed or controlled from simple s

            Title:  Formal Synthesis of Control Strategies for Dynamical Systems Abstract: In control theory, complex models of physical processes, such as systems of differential equations, are analyzed or controlled from simple s

            Add to Reading List

            Source URL: fmse.info.uaic.ro

            - Date: 2018-03-28 04:48:03
              8PHYSICAL REVIEW E 76, 031919 共2007兲 How disease models in static networks can fail to approximate disease in dynamic networks N. H. Fefferman1,2 and K. L. Ng3,2,* 1

              PHYSICAL REVIEW E 76, 031919 共2007兲 How disease models in static networks can fail to approximate disease in dynamic networks N. H. Fefferman1,2 and K. L. Ng3,2,* 1

              Add to Reading List

              Source URL: eaton.math.rpi.edu

              - Date: 2007-10-31 21:52:05
                9C H A P T E R 3 PHYSICAL ELEMENTS OF DATA MODELS

                C H A P T E R 3 PHYSICAL ELEMENTS OF DATA MODELS

                Add to Reading List

                Source URL: cdn.ttgtmedia.com

                - Date: 2008-09-10 11:43:32
                  10Models and mechanisms in psychological explanation Daniel A. Weiskopf Abstract: Mechanistic explanation has an impressive track record of advancing our understanding of complex, hierarchically organized physical systems,

                  Models and mechanisms in psychological explanation Daniel A. Weiskopf Abstract: Mechanistic explanation has an impressive track record of advancing our understanding of complex, hierarchically organized physical systems,

                  Add to Reading List

                  Source URL: www2.gsu.edu

                  - Date: 2012-06-14 21:51:46