Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe
| Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [[electronic resource] /] / edited by Paulo Carreira, Vasco Amaral, Hans Vangheluwe |
| Autore | Carreira Paulo |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XX, 285 p. 157 illus., 54 illus. in color.) |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Computer engineering Internet of things Embedded computer systems Special purpose computers Application software Computer-aided engineering Software Engineering Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design |
| Soggetto non controllato |
Software Engineering
Cyber-physical systems, IoT Special Purpose and Application-Based Systems Computer Applications Computer-Aided Engineering (CAD, CAE) and Design Open Access Embedded and cyber-physical systems Software design engineering Model-driven software engineering Modelica Performance Analysis Design Languages System Description Languages System and Modeling DEVS Statecharts Petri Nets Multi-Paradigm Modeling AADL Concurrency Modeling Electrical engineering Cybernetics & systems theory Expert systems / knowledge-based systems Information technology: general issues Computer-aided design (CAD) |
| ISBN | 3-030-43946-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations -- Bond Graphs: A Unifying Framework for Modelling of Physical Systems -- Modelica: Equation-Based, Object-Oriented Modelling of Physical Systems -- Causal-Block Diagrams: A Family of Languages for Causal Modelling of Cyber-Physical Systems -- DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems -- Statecharts: A Formalism to Model, Simulate and Synthesize Reactive and Autonomous Timed Systems -- Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems -- AADL: A Language to Specify the Architecture of Cyber-Physical Systems -- FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling. |
| Record Nr. | UNISA-996465472303316 |
Carreira Paulo
|
||
| Cham, : Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modeling and Simulation with Compose and Activate / Stephen L. Campbell, Ramine Nikoukhah
| Modeling and Simulation with Compose and Activate / Stephen L. Campbell, Ramine Nikoukhah |
| Autore | Campbell, Stephen L. |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xvi, 447 p. : ill. ; 24 cm |
| Altri autori (Persone) | Nikoukhah, Ramine |
| Soggetto topico |
68Uxx - Computing methodologies and applications [MSC 2020]
65Y15 - Packaged methods for numerical algorithms [MSC 2020] 34Hxx - Control problems including ordinary differential equations [MSC 2020] 34Axx - General theory for ordinary differential equations [MSC 2020] 37M05 - Simulation of dynamical systems [MSC 2020] |
| Soggetto non controllato |
Activate
Block Diagram Modeling Compose Hybrid Systems Modelica Modeling Software Open Matrix Language (OML) Simulation Software State machines |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124868 |
|
Campbell, Stephen L.
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Modeling and Simulation with Compose and Activate / Stephen L. Campbell, Ramine Nikoukhah
| Modeling and Simulation with Compose and Activate / Stephen L. Campbell, Ramine Nikoukhah |
| Autore | Campbell, Stephen L. |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xvi, 447 p. : ill. ; 24 cm |
| Altri autori (Persone) | Nikoukhah, Ramine |
| Soggetto topico |
34Axx - General theory for ordinary differential equations [MSC 2020]
34Hxx - Control problems including ordinary differential equations [MSC 2020] 37M05 - Simulation of dynamical systems [MSC 2020] 65Y15 - Packaged methods for numerical algorithms [MSC 2020] 68Uxx - Computing methodologies and applications [MSC 2020] |
| Soggetto non controllato |
Activate
Block Diagram Modeling Compose Hybrid Systems Modelica Modeling Software Open Matrix Language (OML) Simulation Software State machines |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124868 |
|
Campbell, Stephen L.
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Principles of object-oriented modeling and simulation with Modelica 2.1 [Risorsa elettronica] / Peter Fritzson
| Principles of object-oriented modeling and simulation with Modelica 2.1 [Risorsa elettronica] / Peter Fritzson |
| Autore | Fritzson, Peter |
| Pubbl/distr/stampa | Piscataway, N. J. : IEEE Press |
| Disciplina | 005.117 |
| Soggetto non controllato | Modelica |
| ISBN | 9780470545669 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009792000403321 |
|
Fritzson, Peter
|
||
| Piscataway, N. J. : IEEE Press | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transformation von Multiphysics-Modellen in einen FPGA-Entwurf für den echtzeitfähigen HiL-Test eingebetteter Systeme
| Transformation von Multiphysics-Modellen in einen FPGA-Entwurf für den echtzeitfähigen HiL-Test eingebetteter Systeme |
| Autore | Köllner Christian |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2013 |
| Descrizione fisica | 1 online resource (XI, 244 p. p.) |
| Soggetto non controllato |
Echtzeit
Entwurfsautomatisierung FPGA Hardware-in-the-Loop Modelica |
| ISBN | 1000036853 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910347058503321 |
|
Köllner Christian
|
||
| KIT Scientific Publishing, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||