Results 291 to 300 of about 45,642,631 (346)
Some of the next articles are maybe not open access.
1993
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +2 more sources
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +2 more sources
1997
Hybrid systems-those composed of the interaction of discrete and continuous inputs, outputs, states, and dynamic equations-are an important class of models of complex, real-world phenomena. However, the simulation tools currently available seem to be (1) ad hoc retro fitting of existing packages, (2) hastily-built new languages, or (3) specialized ...
Michael S. Branicky, Sven Erik Mattsson
openaire +1 more source
Hybrid systems-those composed of the interaction of discrete and continuous inputs, outputs, states, and dynamic equations-are an important class of models of complex, real-world phenomena. However, the simulation tools currently available seem to be (1) ad hoc retro fitting of existing packages, (2) hastily-built new languages, or (3) specialized ...
Michael S. Branicky, Sven Erik Mattsson
openaire +1 more source
2015 Formal Methods in Computer-Aided Design (FMCAD), 2015
Cyber-physical systems (CPS) combine cyber aspects such as communication and computer control with physical aspects such as movement in space, which arise frequently in many safety-critical application domains, including aviation, automotive, railway, and robotics. But how can we ensure that these systems are guaranteed to meet their design goals, e.g.,
openaire +2 more sources
Cyber-physical systems (CPS) combine cyber aspects such as communication and computer control with physical aspects such as movement in space, which arise frequently in many safety-critical application domains, including aviation, automotive, railway, and robotics. But how can we ensure that these systems are guaranteed to meet their design goals, e.g.,
openaire +2 more sources
Review of hybrid renewable energy systems with comparative analysis of off-grid hybrid system
, 2018Yashwant Sawle +2 more
semanticscholar +1 more source
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000
Parsons, Simon, Neufeld, Eric
openaire +2 more sources
Parsons, Simon, Neufeld, Eric
openaire +2 more sources