Relevant bibliographies by topics / Specification of cyberphysical systems

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Specification of cyberphysical systems'

Author: Grafiati
Published: 28 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Specification of cyberphysical systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Specification of cyberphysical systems"

1

Meshcheryakov, Roman, Andrey Iskhakov, and Oleg Evsutin. "Analysis of Modern Methods to Ensure Data Integrity in Cyber-Physical System Management Protocols." Informatics and Automation 19, no. 5 (2020): 1089–122. http://dx.doi.org/10.15622/ia.2020.19.5.7.

Full text
Abstract:
At present, the problem of creating methodological security of cyberphysical systems, in particular, the design and implementation of information security subsystems is acute. At the same time, the landscape of threats and vulnerabilities typical for a wide range of hardware and software technologies used in cyberphysical systems is extremely wide and complex. In this context, the security of application layer protocols is of paramount importance, as these protocols are the basis for interaction between applications and services running on different devices, as well as in cloud infrastructures
APA, Harvard, Vancouver, ISO, and other styles
2

Jaïdi, Faouzi, Faten Labbene Ayachi, and Adel Bouhoula. "A Methodology and Toolkit for Deploying Reliable Security Policies in Critical Infrastructures." Security and Communication Networks 2018 (2018): 1–22. http://dx.doi.org/10.1155/2018/7142170.

Full text
Abstract:
Substantial advances in Information and Communication Technologies (ICT) bring out novel concepts, solutions, trends, and challenges to integrate intelligent and autonomous systems in critical infrastructures. A new generation of ICT environments (such as smart cities, Internet of Things,edge-fog-social-cloudcomputing, and big data analytics) is emerging; it has different applications to critical domains (such as transportation, communication, finance, commerce, and healthcare) and different interconnections via multiple layers of public and private networks, forming a grid of critical cyberph
APA, Harvard, Vancouver, ISO, and other styles
3

Kulynych, Pavlo. "Digitalization of land relations and law in Ukraine: methodological and theoretical aspects." Yearly journal of scientific articles “Pravova derzhava”, no. 32 (2021): 257–67. http://dx.doi.org/10.33663/0869-2491-2021-32-257-267.

Full text
Abstract:
The article examines the methodological and theoretical issues of the formation of legal support for the digitalization of land relations in Ukraine. The author points out that the digitalization of land relations causes "profound" changes in their legal regulation and determines the clarification of the basic principles of land law of Ukraine. Thus, with the adoption of the Law "On National Infrastructure of Geospatial Data" laid the beginning of the formation in the land legislation of Ukraine the principle of availability of public data on land, which symbolizes the beginning of the era of
APA, Harvard, Vancouver, ISO, and other styles
4

Watanabe, Yuhei, Hideki Yamamoto, and Hirotaka Yoshida. "Lightweight Crypto Stack for TPMS Using Lesamnta-LW." Security and Communication Networks 2020 (September 24, 2020): 1–12. http://dx.doi.org/10.1155/2020/5738215.

Full text
Abstract:
Modern vehicles which have internal sensor networks are one of the examples of a cyberphysical system (CPS). The tire pressure monitoring system (TPMS) is used to monitor the pressure of the tires and to inform the driver of them. This system is mandatory for vehicles in the US and EU. To ensure the security of TPMS, it is important to reduce the cost of the cryptographic mechanisms implemented in resource-constrained devices. To address this problem, previous works have proposed countermeasures employing lightweight block ciphers such as PRESENT, SPECK, or KATAN. However, it is not clear to u
APA, Harvard, Vancouver, ISO, and other styles
5

Sirjani, Marjan, Edward A. Lee, and Ehsan Khamespanah. "Verification of Cyberphysical Systems." Mathematics 8, no. 7 (2020): 1068. http://dx.doi.org/10.3390/math8071068.

Full text
Abstract:
The value of verification of cyberphysical systems depends on the relationship between the state of the software and the state of the physical system. This relationship can be complex because of the real-time nature and different timelines of the physical plant, the sensors and actuators, and the software that is almost always concurrent and distributed. In this paper, we study different ways to construct a transition system model for the distributed and concurrent software components of a CPS. The purpose of the transition system model is to enable model checking, an established and widely us
APA, Harvard, Vancouver, ISO, and other styles
6

Braeken, An, Madhusanka Liyanage, Salil S. Kanhere, and Sudhir Dixit. "Blockchain and Cyberphysical Systems." Computer 53, no. 9 (2020): 31–35. http://dx.doi.org/10.1109/mc.2020.3005112.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Horowitz, Barry M. "Cyberattack-Resilient Cyberphysical Systems." IEEE Security & Privacy 18, no. 1 (2020): 55–60. http://dx.doi.org/10.1109/msec.2019.2947123.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sergeyeva, O. Yu. "Cyberphysical systems as technologysubsidiarian administration." Nanotechnologies in Construction: A Scientific Internet-Journal 10, no. 3 (2018): 94–106. http://dx.doi.org/10.15828/2075-8545-2018-10-3-94-106.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Platzer, André. "Verification of Cyberphysical Transportation Systems." IEEE Intelligent Systems 24, no. 4 (2009): 10–13. http://dx.doi.org/10.1109/mis.2009.81.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hurlburt, George, and Jeffrey Voas. "Beyond the Cloud: Cyberphysical Systems." IT Professional 15, no. 2 (2013): 2–4. http://dx.doi.org/10.1109/mitp.2013.24.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Specification of cyberphysical systems"

1

Junek, Martin. "Metody specifikace kyberfyzikálních systémů." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-442854.

Full text
Abstract:
The aim of this diploma thesis is to analyse the advantages and disadvantages of different types of description of cyberphysical systems. It also concerns a description of the selected method that meets most of the current requirements for CPS design. In the practical part, attention is paid to the elaboration of an example for the specification of a selected cyberphysical system.
APA, Harvard, Vancouver, ISO, and other styles
2

Chabukswar, Rohan. "Secure Detection in Cyberphysical Control Systems." Research Showcase @ CMU, 2014. http://repository.cmu.edu/dissertations/326.

Full text
Abstract:
A SCADA system employing the distributed networks of sensors and actuators that interact with the physical environment is vulnerable to attacks that target the interface between the cyber and physical subsystems. An attack that hijacks the sensors in an attempt to provide false readings to the controller (for example, the Stuxnet worm that targeted Iran’s nuclear centrifuges) can be used to feign normal system operation for the control system, while the attacker can hijack the actuators to send the system beyond its safety range. This thesis extends the results of a previously proposed method.
APA, Harvard, Vancouver, ISO, and other styles
3

Magnússon, Sindri. "Bandwidth Limited Distributed Optimization with Applications to Networked Cyberphysical Systems." Doctoral thesis, KTH, Nätverk och systemteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-205682.

Full text
Abstract:
The emerging technology of Cyberphysical systems consists of networked computing, sensing, and actuator devices used to monitor, connect, and control physical phenomena. In order to economically and sustainably operate Cyberphysical systems, their devices need to cooperate over a communication network to solve optimization problems. For example, in smart power grids, smart meters cooperatively optimize the grid performance, and in wireless sensor networks a number of sensors cooperate to find optimal estimators of real-world parameters. A challenging aspect in the design of distributed solutio
APA, Harvard, Vancouver, ISO, and other styles
4

Ehikioya, Sylvanus Agbonifoh. "Specification of transaction systems protocols." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/nq23597.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hunter, Timothy Jason. "Large-Scale, Low-Latency State Estimation Of Cyberphysical Systems With An Application To Traffic Estimation." Thesis, University of California, Berkeley, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3686329.

Full text
Abstract:
<p> Large physical systems are increasingly prevalent, and designing estimation strategies for them has become both a practical necessity and a complicated problem. Their sensing infrastructure is usually ad-hoc, and the estimate of interest is often a complex function of the data. At the same time, computing power is rapidly becoming a commodity. We show with the study of two estimation tasks in urban transportation how the proper design of algorithms can lead to significant gains in scalability compared to existing solutions. </p><p> A common problem in trip planning is to make a given de
APA, Harvard, Vancouver, ISO, and other styles
6

Miranda, Paul Nicholas. "HD4AR: High-Precision Mobile Augmented Reality Using Image-Based Localization." Thesis, Virginia Tech, 2012. http://hdl.handle.net/10919/77013.

Full text
Abstract:
Construction projects require large amounts of cyber-information, such as 3D models, in order to achieve success. Unfortunately, this information is typically difficult for construction field personnel to access and use on-site, due to the highly mobile nature of the job and hazardous work environments. Field personnel rely on carrying around large stacks of construction drawings, diagrams, and specifications, or traveling to a trailer to look up information electronically, reducing potential project efficiency. This thesis details my work on Hybrid 4-Dimensional Augmented Reality, known as HD
APA, Harvard, Vancouver, ISO, and other styles
7

Reynolds, Graham J. "Configurable graphics systems : modelling and specification." Thesis, University of East Anglia, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.293731.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Donnelly, Ronald Patrick. "Modelling and specification of payload systems." Thesis, University of Southampton, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261668.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Davies, Jim. "Specification and proof in real-time systems." Thesis, University of Oxford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279830.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ebner, Michael. "UML-based Test Specification for Communication Systems." Doctoral thesis, [S.l.] : [s.n.], 2004. http://hdl.handle.net/11858/00-1735-0000-0006-B3B4-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Specification of cyberphysical systems"

1

Voros, Nikolaos S., and Christos P. Antonopoulos, eds. Cyberphysical Systems for Epilepsy and Related Brain Disorders. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-20049-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Broy, Manfred, Stephan Merz, and Katharina Spies, eds. Formal Systems Specification. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0024423.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

K, Periyasamy, ed. Specification of software systems. 2nd ed. Springer, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Alagar, Vangalur S. Specification of software systems. Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Alagar, V. S. Specification of Software Systems. Springer New York, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Alagar, V. S., and K. Periyasamy. Specification of Software Systems. Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-277-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Alagar, V. S., and K. Periyasamy. Specification of Software Systems. Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4757-2920-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Astesiano, Egidio. Algebraic Foundations of Systems Specification. Springer Berlin Heidelberg, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Arends, N. W. A. A systems engineering specification formalism. Eindhoven University, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

T, Harwood W., and Jackson M. I, eds. The Specification of Complex Systems. Addison-Wesley, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Specification of cyberphysical systems"

1

Buenaposada, José M., and Luis Baumela. "Boosting Object Detection in Cyberphysical Systems." In Understanding the Brain Function and Emotions. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-19591-5_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Fortino, Giancarlo, Anna Rovella, Wilma Russo, and Claudio Savaglio. "Including Cyberphysical Smart Objects into Digital Libraries." In Internet and Distributed Computing Systems. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11692-1_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Hill, Gillian. "Formal Specification." In Systems: Theory and Practice. Springer Vienna, 1998. http://dx.doi.org/10.1007/978-3-7091-6451-8_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Mellin, Jonas, and Mikael Berndtsson. "Event Specification." In Encyclopedia of Database Systems. Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_505.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Chomicki, Jan. "Preference Specification." In Encyclopedia of Database Systems. Springer New York, 2018. http://dx.doi.org/10.1007/978-1-4614-8265-9_80707.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Mellin, Jonas, and Mikael Berndtsson. "Event Specification." In Encyclopedia of Database Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_505.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Chomicki, Jan. "Preference Specification." In Encyclopedia of Database Systems. Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4899-7993-3_80707-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Mellin, Jonas, and Mikael Berndtsson. "Event Specification." In Encyclopedia of Database Systems. Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4899-7993-3_505-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Alagar, V. S., and K. Periyasamy. "Specification Activities." In Specification of Software Systems. Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4757-2920-7_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Alagar, V. S., and K. Periyasamy. "Specification Qualities." In Specification of Software Systems. Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4757-2920-7_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Specification of cyberphysical systems"

1

"Hybrid Iterative System Specification of Cyberphysical Systems: Neurocognitive Behavior Application." In 2020 Spring Simulation Conference. Society for Modeling and Simulation International (SCS), 2020. http://dx.doi.org/10.22360/springsim.2020.tms.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Althubaity, Areej, Tao Gong, Kim-Kwang Raymond, Mark Nixon, Reda Ammar, and Song Han. "Specification-based Distributed Detection of Rank-related Attacks in RPL-based Resource-Constrained Real-Time Wireless Networks." In 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS). IEEE, 2020. http://dx.doi.org/10.1109/icps48405.2020.9274726.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Samad, Tariq. "Infrastructure cyberphysical systems and their users." In 2016 American Control Conference (ACC). IEEE, 2016. http://dx.doi.org/10.1109/acc.2016.7525317.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Tippenhauer, Nils Ole. "Session details: Session 5A: Cyberphysical Systems." In CCS '18: 2018 ACM SIGSAC Conference on Computer and Communications Security. ACM, 2018. http://dx.doi.org/10.1145/3285877.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

"Session details: Session 5A: Cyberphysical Systems." In the 2018 ACM SIGSAC Conference, chair Nils Ole Tippenhauer. ACM Press, 2018. http://dx.doi.org/10.1145/3243734.3285877.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Sirjani, Marjan, Edward A. Lee, and Ehsan Khamespanah. "Model Checking Software in Cyberphysical Systems." In 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE, 2020. http://dx.doi.org/10.1109/compsac48688.2020.0-138.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fujita, Masahiro. "Simulation-Based Analysis of Cyberphysical Systems." In 2012 15th Euromicro Conference on Digital System Design (DSD). IEEE, 2012. http://dx.doi.org/10.1109/dsd.2012.119.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Saltaformaggio, Brendan. "Session details: Session 1E: Cyberphysical Systems." In CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security. ACM, 2020. http://dx.doi.org/10.1145/3432961.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"CyberPhysical Systems for Deformable Object Manipulation." In 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE, 2021. http://dx.doi.org/10.1109/icps49255.2021.9468159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ibrahim, Mohamed, and Krishnendu Chakrabarty. "Cyberphysical adaptation in digital-microfluidic biochips." In 2016 IEEE Biomedical Circuits and Systems Conference (BioCAS). IEEE, 2016. http://dx.doi.org/10.1109/biocas.2016.7833827.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Specification of cyberphysical systems"

1

Sweet, Nathan, Timothy P. Bielek, John D. Matthews, Henry John Coakley, and Len Pan. GFF Specification for SAR Systems. Office of Scientific and Technical Information (OSTI), 2014. http://dx.doi.org/10.2172/1171563.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Mulvenna, Gerard. IGOSS-industrygovernment open systems specification. National Institute of Standards and Technology, 1994. http://dx.doi.org/10.6028/nist.sp.500-217.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Khaw, J., ed. Technical specification for vacuum systems. Office of Scientific and Technical Information (OSTI), 1987. http://dx.doi.org/10.2172/6580012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Andes, Robert C., and William B. Rouse. Specification of Adaptive Aiding Systems. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada254537.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Flater, David. Specification of interactions in integrated manufacturing systems. National Institute of Standards and Technology, 2000. http://dx.doi.org/10.6028/nist.ir.6484.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Field, Bruce F., Edward F. Kelley, and R. Michael McCabe. Specification for interoperability between ballistic imaging systems:. National Institute of Standards and Technology, 1996. http://dx.doi.org/10.6028/nist.ir.5855.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sprock, Timothy, George Thiers, Leon F. McGinnis, and Conrad Bock. Theory of Discrete Event Logistics Systems (DELS) specification. National Institute of Standards and Technology, 2020. http://dx.doi.org/10.6028/nist.ir.8262.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Place, Patrick R., William G. Wood, and Mike Tudball. Survey of Formal Specification Techniques for Reactive Systems. Defense Technical Information Center, 1990. http://dx.doi.org/10.21236/ada232045.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Thomas, WKT. Generic Guide Specification for Geothermal Heat Pump Systems. Office of Scientific and Technical Information (OSTI), 2000. http://dx.doi.org/10.2172/814081.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Edwards, Michael, and Steven L. Howell. A Methodology for Systems Requirements Specification and Traceability for Large Real Time Complex Systems. Defense Technical Information Center, 1991. http://dx.doi.org/10.21236/ada254738.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography