X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Patent (226) 226
Conference Proceeding (67) 67
Journal Article (37) 37
Book Chapter (12) 12
Book / eBook (9) 9
Web Resource (2) 2
Report (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
physics (191) 191
calculating (190) 190
computing (190) 190
counting (190) 190
electric digital data processing (185) 185
simulation (16) 16
analogue computers (15) 15
model-based design (15) 15
computational modeling (14) 14
computer science (12) 12
computer simulation (11) 11
embedded systems (10) 10
hybrid systems (10) 10
automation & control systems (9) 9
design engineering (9) 9
mathematical models (9) 9
engineering (8) 8
computation (7) 7
computer science, software engineering (7) 7
control systems (7) 7
cyber-physical systems (6) 6
engineering, electrical & electronic (6) 6
modeling (6) 6
systems engineering and theory (6) 6
testing (6) 6
analytical models (5) 5
computer systems based on specific computational models (5) 5
computers (5) 5
electricity (5) 5
embedded system (5) 5
mathematical model (5) 5
modeling and simulation (5) 5
software engineering (5) 5
algorithm design and analysis (4) 4
algorithms (4) 4
computer science, interdisciplinary applications (4) 4
control system synthesis (4) 4
cyber-physisches system (4) 4
discrete event systems (4) 4
dynamics (4) 4
electric communication technique (4) 4
matlab (4) 4
semantics (4) 4
simulación por ordenador (4) 4
simulink (4) 4
systems & controls (4) 4
verification (4) 4
automatic control (3) 3
computer engineering (3) 3
computer modeling (3) 3
computer models (3) 3
computer science, theory & methods (3) 3
computer-aided control system design (3) 3
control or regulating systems in general (3) 3
controlling (3) 3
costs (3) 3
dynamical systems (3) 3
engineering education (3) 3
engines (3) 3
fault detection (3) 3
functional elements of such systems (3) 3
handling record carriers (3) 3
hardware (3) 3
hybrid simulation (3) 3
infrastruktur (3) 3
mathematics (3) 3
measuring (3) 3
measuring electric variables (3) 3
measuring magnetic variables (3) 3
modeling, computer (3) 3
models, computer (3) 3
monitoring or testing arrangements for such systems orelements (3) 3
presentation of data (3) 3
programming languages, compilers, interpreters (3) 3
programmsystem (3) 3
recognition of data (3) 3
record carriers (3) 3
regulating (3) 3
research (3) 3
simulación por computadora (3) 3
simulation, computer (3) 3
software packages (3) 3
system testing (3) 3
systems (3) 3
systems design (3) 3
transient analysis (3) 3
transmission of digital information, e.g. telegraphiccommunication (3) 3
vehicle dynamics (3) 3
[ info.info-se ] computer science [cs]/software engineering [cs.se] (2) 2
aerodynamics (2) 2
aerospace control (2) 2
application software (2) 2
applications of mathematics (2) 2
automation (2) 2
automotive engineering (2) 2
bond graphs (2) 2
causality (2) 2
communication system control (2) 2
computational methods (2) 2
computer architecture (2) 2
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2012, Computational analysis, synthesis, and design of dynamic systems, ISBN 9781439818459, xxvii, 660
Book
Software and systems modeling, ISSN 1619-1374, 2015, Volume 15, Issue 1, pp. 17 - 29
Journal Article
Software & Systems Modeling, ISSN 1619-1366, 2/2016, Volume 15, Issue 1, pp. 5 - 16
Journal Article
2010, ISBN 1420067842, xxiv, 739
Book
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2014, Volume 8378, pp. 19 - 46
Modern software systems are often required to adapt their behavior at runtime in order to maintain or enhance their utility in dynamic environments. Models at... 
Ubiquitous Computing | Data Structures and Algorithms | Computer Science | Data- och informationsvetenskap | Computer and Information Science
Conference Proceeding
2014, Computational analysis, synthesis, and design of dynamic systems, ISBN 9781439883273, xxii, 498
"Through the ages, indeed millennia, humans have been exceptionally ingenious and adept at exploiting nature to develop tools for their benefit. Better... 
MATHEMATICS / General | TECHNOLOGY & ENGINEERING / Electronics / General | Data processing | Social sciences | COMPUTERS / Software Development & Engineering / Systems Analysis & Design
Book
Computing in Science & Engineering, ISSN 1521-9615, 05/2014, Volume 16, Issue 3, pp. 90 - 95
An automated emergency response system and an experimental framework for its design and validation are presented here. The system consists of a high-level... 
visualization | modeling | Computational modeling | scientific computing | simulation | virtual integration | Vehicles | cyber-physical systems | operations | Emergency services | model-based design | Unmanned aerial vehicles | Land vehicles | wireless control | humanitarian | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS
Journal Article
Procedia engineering, ISSN 1877-7058, 2015, Volume 107, pp. 312 - 318
A Smart Emergency Response System (SERS) prototype was built in the context of the SmartAmerica Challenge 2013-2014, a United States government initiative.... 
model-based design | emergency response | White House | Smart America | optimization | simulation
Journal Article
ACM SIGBED Review, ISSN 1551-3688, 03/2017, Volume 14, Issue 2, pp. 15 - 23
...Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees Zhihao Jiang1, Houssam Abbas1, Pieter J. Mosterman2, Rahul Mangharam1... 
Journal Article
Simulation (San Diego, Calif.), ISSN 0037-5497, 2016, Volume 80, Issue 9, pp. 433 - 450
...Computer Automated Multi-Paradigm Modeling: An Introduction Pieter J. Mosterman The MathWorks, Inc. 3 Apple Hill Dr. Natick, MA 01760 pieter.mosterman... 
Multi-abstraction | Model transformation | Meta-modeling | Multi-paradigm modeling | Multi-formalism | COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | multi-abstraction | model transformation | meta-modeling | SYSTEMS | PETRI-NETS | FORMALISM | multi-paradigm modeling | multi-formalism
Journal Article
2009, Computational analysis, syntheiss, and design of dynamic models series, ISBN 1420070231, xiv, 567
Book
Simulation (San Diego, Calif.), ISSN 1741-3133, 2015, Volume 91, Issue 7, pp. 648 - 665
Modeling & Simulation (M&S) is making successful contributions to different areas in industry and academia. However, there are certain key issues that are... 
cloud | democratization | reproducibility | simulation | human behavior | Big Simulation | cyberinfrastructures | e-Science | Modeling | e-Infrastructures | composability | grand challenges
Journal Article
Control Engineering Practice, ISSN 0967-0661, 2012, Volume 20, Issue 1, pp. 2 - 13
Journal Article
2007, Chapman & Hall/CRC computer & information science series, ISBN 9781584885658, 1 v. (various pagings)
Book
ACM Transactions on Modeling and Computer Simulation (TOMACS), ISSN 1049-3301, 10/2002, Volume 12, Issue 4, pp. 249 - 255
Journal Article
Discrete event dynamic systems, ISSN 1573-7594, 2019, Volume 29, Issue 3, pp. 265 - 295
... on SimEvents for intelligent transportation system analysis in Mcity Yue Zhang 1 · Christos G. Cassandras 1 · Wei Li 2 · Pieter J. Mosterman 2 Received: 9 December 2018... 
Connected automated vehicles | Systems Theory, Control | Operations Research/Decision Theory | Convex and Discrete Geometry | Hybrid systems | Mathematics | Discrete event systems | Manufacturing, Machines, Tools, Processes | Intelligent transportation systems | Electrical Engineering
Journal Article
Simulation (San Diego, Calif.), ISSN 0037-5497, 2008, Volume 84, Issue 7, pp. 339 - 358
...339 Constitutive Hybrid Processes: a ProcessAlgebraic Semantics for Hybrid Bond Graphs SAGE Publications, Inc.200810.1177/0037549708097215 Pieter J.L.Cuijpers... 
Bond graphs | Process algebra | Hybrid systems theory | Constitutive equations | COMPUTER SCIENCE, SOFTWARE ENGINEERING | constitutive equations | COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS | process algebra | DISCONTINUITIES | SIMULATION | hybrid systems theory
Journal Article
SIMULATION, ISSN 0037-5497, 11/2009, Volume 85, Issue 11-12, pp. 685 - 687
... TihamérLevendovszky Budapest University of Technology and Economics, Hungary, tihamer@aut.bme.hu Pieter J.Mosterman The MathWorks, Natick, MA, USA, pieter.mosterman@mathworks.com... 
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.