Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems (eng)
Language: English
Published by Springer, 2020
- Softcover
- New
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
AbeBooks seller since October 11, 2022
Condition: New
£ 33.80
Quantity: Over 20 available
Add to basketItem description from seller
Questo è un articolo print on demand.
Seller Inventory # f6c67ecbb6f9dfd957680e25d1e0884d
- Title
- Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems (eng)
- Author
- Carreira, Paulo
- Publisher
- Springer
- Publication year
- 2020
- Condition
- new
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3030439488
- ISBN 13
- 9783030439484
- Item weight
- 0.79 kilograms
Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properlyapplied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification.
This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
"Synopsis" may belong to another edition of this title.
About the Author
Paulo Carreira is a senior researcher at INESC-ID and senior lecturer of Software Engineering and Database Systems at the CSE Department of IST, University of Lisbon, Portugal. He has served as a scientist in multiple national, EU-funded, and industry-funded projects that applied big data and real-time sensor data processing to cyber-physical systems in the domains of energy management and building automation. Before joining academia, he worked in the industry for 10 years, and was involved in a number of high-visibility data integration projects, both in technical and managerial roles. Paulo is currently also a senior member of the IEEE and the CSO of Sensei, an AI company that turns cameras into sensors to create fully autonomous retail stores. Paulo was a workgroup leader of the MPM4CPS EU COST Action IC1404.
Vasco Amaral is a senior lecturer at the Department of Computer Science, Universidade Nova de Lisboa, Portugal, and a senior researcher of the NOVALINCS research center. Vasco is also senior member of IEEE. His research is primarily focused on model-driven engineering foundations (mostly domain-specific languages, model composition, model transformations and verification) and multi-paradigm modelling for cyber-physical systems. He has done applied research on high-energy physics computing and is currently involved in the topic of building automation projects. Also, he has been involved in the organization of a series of the international summer school on domain-specific modelling theory and practice (DSM-TP). He was vice-chair of the MPM4CPS EU COST Action IC1404.
Hans Vangheluwe is a Professor at the University of Antwerp. He is the head of the Modelling, Simulation and Design Lab (MSDL) that studies the theory of multi-paradigm modelling and builds tools to support the design and implementation of such complex systems. The MSDL is part of the School of Computer Science of McGill University in Montréal, Québec, Canada and of the AnSyMo (Antwerp Systems). Hans was a co-founder of Modelica, a language for a causal modelling of complex systems and computer automated multi-paradigm modelling. Working in a variety of projects, often with industrial partners, he has developed and applied the model-based theory and techniques of multi-paradigm modelling in such diverse domains as wastewater treatment plant design and optimization, or safe automotive software. He was also the chair of the MPM4CPS EU COST Action IC1404.
"About the title" may belong to another edition of this title.
Brook Bookstore On Demand
Napoli, NA, Italy
AbeBooks seller since October 11, 2022
Shipping rates from Italy to U.S.A.
| Item | 25 to 40 business days | 60 to 60 business days |
|---|---|---|
| First item | £ 6.87 | £ 438.76 |
Payment methods
Store description
Account dedicated to Print on Demand titles. Brook Bookstore offers a wide selection of books with a continuously updated catalog and fast shipments all over the world. We hold distribution rights with all of the publishers we promote and are in continuous search of new interesting titles to propose to our customers. We are part of Brandon Group SRL (an Italian company) and all of the orders are shipped from Europe. Depending on availability orders will be picked from our different warehouses. CONTACT US If you have any questions please do not hesitate to contact us sending a message to our store. We have a well prepared customer service team who will be happy to assist you. Our working hours are from Monday to Friday from 9:30 to 18:30 (CET, UTC +1) so messages received during the weekends might be responded with a slight delay but we guarantee you will get back to you as soon as possible. RETURNS If you want to return your order, please submit your request through Abebooks platform. Returns requests are managed case by case by our team and always in line with Abebooks policies: AbeBooks’ Return Policy guarantees that you can return any book for a refund within 30 days, when the return is due to an error on the bookseller’s part. When the motive of the return is not due to an error of the seller it is up to Brook Bookstore to accept the return or else after studying the case. CANCELLATION You can send a cancellation request to our customer service team while the package has not yet been shipped. After that we cannot ensure we can retrieve the parcel but we suggest you to get in touch with us in order to verify the case. INVOICE You can request the invoice to be issued together with the shipment of the order or, at the latest, in the same month of the shipment. …
Specialty
Print on DemandSeller's business information
Brandon Group S.R.L.
Via Vannella Gaetani 27, Brandon Group
Napoli, NA Italy 80121
Terms of sale
Brook Bookstore On Demand offers a wide selection of books with a continuously updated catalog and fast shipments all over the world. We hold distribution rights with all of the publishers we promote and are in continuous search of new interesting titles to propose to our customers. We are part of Brandon Group SRL (an Italian company) and all of the orders are shipped from Europe. Depending on availability orders will be picked from our different warehouses.
Right of withdrawal
If you are a consumer you can withdraw from the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.
Information regarding the right of withdrawal
Statutory right to withdraw
You have the right to withdraw from this contract within 14 days without giving any reason.
The withdrawal period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the last good or the last lot or piece.
To exercise the right of withdrawal, electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". We will communicate to you an acknowledgement of receipt of such a withdrawal on a durable medium (e.g. by e-mail) without delay.
To meet the withdrawal deadline, it is sufficient for you to send your communication concerning your exercise of the right of withdrawal before the withdrawal period has expired.
Effects of withdrawal
If you withdraw from this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).
We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.
We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to withdraw from this contract.
We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.
We may withhold reimbursement until we have received the goods back, or you have supplied evidence of having sent back the goods, whichever is the earliest.
You shall send back the goods or hand them over to Brook Bookstore On Demand, Bristol, United Kingdom, +39 3485885209, without undue delay and in any event not later than 14 days from the day on which you communicate your withdrawal from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.
Exceptions to the right of withdrawal
The right of withdrawal does not apply to:
- The delivery of newspapers, journals or magazines with the exception of subscription contracts; and
- The supply of digital content which is not supplied on a tangible medium (e.g. on a CD or DVD) if you accepted when you placed your order that we could start to deliver it, and that you could not withdraw once delivery had started.