Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450328715

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

aLS-Coop-Loc

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593462 ◽

2014 ◽

Cited By ~ 2

Author(s):

Wouter van Kleunen ◽

Nirvana Meratnia ◽

Paul J. M. Havinga

Download Full-text

Cyber-physical cloud computing implemented as PaaS

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593461 ◽

2014 ◽

Cited By ~ 4

Author(s):

Clemens Krainer ◽

Christoph M. Kirsch

Keyword(s):

Cloud Computing

Download Full-text

An undergraduate cyber-physical systems course

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593464 ◽

2014 ◽

Cited By ~ 6

Author(s):

Albert M. K. Cheng

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Model predictive control from signal temporal logic specifications

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593472 ◽

2014 ◽

Cited By ~ 2

Author(s):

Vasumathi Raman ◽

Mehdi Maasoumy ◽

Alexandre Donzé

Keyword(s):

Model Predictive Control ◽

Temporal Logic ◽

Predictive Control

Download Full-text

Drive-by-wireless with the eCar demonstrator

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593470 ◽

2014 ◽

Cited By ~ 1

Author(s):

Hauke Stähle ◽

Kai Huang ◽

Alois Knoll

Download Full-text

Model-based design and analysis of a reconfigurable continuous-culture bioreactor

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593469 ◽

2014 ◽

Author(s):

Luan Viet Nguyen ◽

Eric J. Nelson ◽

Amol Vengurlekar ◽

Ruoshi Zhang ◽

Kristopher I. White ◽

...

Keyword(s):

Continuous Culture ◽

Model Based

Download Full-text

Complex systems techniques for cyber-physical systems

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593460 ◽

2014 ◽

Cited By ~ 1

Author(s):

Manuela L. Bujorianu ◽

Robert S. MacKay

Keyword(s):

Complex Systems ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Saving virtual testing time for CPS by analyzing code coverage on the example of a lane-following algorithm

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593466 ◽

2014 ◽

Author(s):

Christian Berger

Keyword(s):

Testing Time ◽

Virtual Testing ◽

Code Coverage

Download Full-text

Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593459 ◽

2014 ◽

Cited By ~ 3

Author(s):

William Emfinger ◽

Gabor Karsai ◽

Abhishek Dubey ◽

Aniruddha Gokhale

Keyword(s):

Time Varying ◽

Time Varying Networks

Download Full-text

Reducing the wrapping effect in flowpipe construction using pseudo-invariants

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14 ◽

10.1145/2593458.2593471 ◽

2014 ◽

Cited By ~ 5

Author(s):

Stanley Bak

Keyword(s):

Wrapping Effect

Download Full-text

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

aLS-Coop-Loc

Cyber-physical cloud computing implemented as PaaS

An undergraduate cyber-physical systems course

Model predictive control from signal temporal logic specifications

Drive-by-wireless with the eCar demonstrator

Model-based design and analysis of a reconfigurable continuous-culture bioreactor

Complex systems techniques for cyber-physical systems

Saving virtual testing time for CPS by analyzing code coverage on the example of a lane-following algorithm

Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks

Reducing the wrapping effect in flowpipe construction using pseudo-invariants

Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14
Latest Publications