---
_id: '13443'
abstract:
- lang: eng
  text: "This work considers the problem of control and resource allocation in networked\r\nsystems.
    To this end, we present DIRA a Deep reinforcement learning based Iterative Resource\r\nAllocation
    algorithm, which is scalable and control-aware. Our algorithm is tailored towards\r\nlarge-scale
    problems where control and scheduling need to act jointly to optimize performance.\r\nDIRA
    can be used to schedule general time-domain optimization based controllers. In
    the present\r\nwork, we focus on control designs based on suitably adapted linear
    quadratic regulators. We\r\napply our algorithm to networked systems with correlated
    fading communication channels. Our\r\nsimulations show that DIRA scales well to
    large scheduling problems."
author:
- first_name: Adrian
  full_name: Redder, Adrian
  id: '52265'
  last_name: Redder
  orcid: https://orcid.org/0000-0001-7391-4688
- first_name: Arunselvan
  full_name: Ramaswamy, Arunselvan
  id: '66937'
  last_name: Ramaswamy
  orcid: https://orcid.org/ 0000-0001-7547-8111
- first_name: Daniel
  full_name: Quevedo, Daniel
  last_name: Quevedo
citation:
  ama: 'Redder A, Ramaswamy A, Quevedo D. Deep reinforcement learning for scheduling
    in large-scale networked control systems. In: <i>Proceedings of the 8th IFAC Workshop
    on Distributed Estimation and Control in Networked Systems</i>. ; 2019.'
  apa: Redder, A., Ramaswamy, A., &#38; Quevedo, D. (2019). Deep reinforcement learning
    for scheduling in large-scale networked control systems. In <i>Proceedings of
    the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>.
    Chicago, USA.
  bibtex: '@inproceedings{Redder_Ramaswamy_Quevedo_2019, title={Deep reinforcement
    learning for scheduling in large-scale networked control systems}, booktitle={Proceedings
    of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems},
    author={Redder, Adrian and Ramaswamy, Arunselvan and Quevedo, Daniel}, year={2019}
    }'
  chicago: Redder, Adrian, Arunselvan Ramaswamy, and Daniel Quevedo. “Deep Reinforcement
    Learning for Scheduling in Large-Scale Networked Control Systems.” In <i>Proceedings
    of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>,
    2019.
  ieee: A. Redder, A. Ramaswamy, and D. Quevedo, “Deep reinforcement learning for
    scheduling in large-scale networked control systems,” in <i>Proceedings of the
    8th IFAC Workshop on Distributed Estimation and Control in Networked Systems</i>,
    Chicago, USA, 2019.
  mla: Redder, Adrian, et al. “Deep Reinforcement Learning for Scheduling in Large-Scale
    Networked Control Systems.” <i>Proceedings of the 8th IFAC Workshop on Distributed
    Estimation and Control in Networked Systems</i>, 2019.
  short: 'A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop
    on Distributed Estimation and Control in Networked Systems, 2019.'
conference:
  end_date: 2019-09-17
  location: Chicago, USA
  name: 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems
    - NECSYS 2019
  start_date: 2019-09-16
date_created: 2019-09-23T16:00:58Z
date_updated: 2022-01-06T06:51:36Z
ddc:
- '620'
file:
- access_level: local
  content_type: application/pdf
  creator: aredder
  date_created: 2019-09-23T15:48:33Z
  date_updated: 2019-09-23T16:21:16Z
  file_id: '13444'
  file_name: ifacconf.pdf
  file_size: 371429
  relation: main_file
file_date_updated: 2019-09-23T16:21:16Z
has_accepted_license: '1'
keyword:
- Networked control systems
- deep reinforcement learning
- large-scale systems
- resource scheduling
- stochastic control
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1905.05992
oa: '1'
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control
  in Networked Systems
publication_status: published
status: public
title: Deep reinforcement learning for scheduling in large-scale networked control
  systems
type: conference
user_id: '52265'
year: '2019'
...
---
_id: '19'
abstract:
- lang: eng
  text: "Version Control Systems (VCS) are a valuable tool for software development\r\nand
    document management. Both client/server and distributed (Peer-to-Peer)\r\nmodels
    exist, with the latter (e.g., Git and Mercurial) becoming\r\nincreasingly popular.
    Their distributed nature introduces complications,\r\nespecially concerning security:
    it is hard to control the dissemination of\r\ncontents stored in distributed VCS
    as they rely on replication of complete\r\nrepositories to any involved user.\r\n\r\nWe
    overcome this issue by designing and implementing a concept for\r\ncryptography-enforced
    access control which is transparent to the user. Use\r\nof field-tested schemes
    (end-to-end encryption, digital signatures) allows\r\nfor strong security, while
    adoption of convergent encryption and\r\ncontent-defined chunking retains storage
    efficiency. The concept is\r\nseamlessly integrated into Mercurial---respecting
    its distributed storage\r\nconcept---to ensure practical usability and compatibility
    to existing\r\ndeployments."
author:
- first_name: Michael
  full_name: Lass, Michael
  id: '24135'
  last_name: Lass
  orcid: 0000-0002-5708-7632
- first_name: Dominik
  full_name: Leibenger, Dominik
  last_name: Leibenger
- first_name: Christoph
  full_name: Sorge, Christoph
  last_name: Sorge
citation:
  ama: 'Lass M, Leibenger D, Sorge C. Confidentiality and Authenticity for Distributed
    Version Control Systems - A Mercurial Extension. In: <i>Proc. 41st Conference
    on Local Computer Networks (LCN)</i>. IEEE; 2016. doi:<a href="https://doi.org/10.1109/lcn.2016.11">10.1109/lcn.2016.11</a>'
  apa: Lass, M., Leibenger, D., &#38; Sorge, C. (2016). Confidentiality and Authenticity
    for Distributed Version Control Systems - A Mercurial Extension. In <i>Proc. 41st
    Conference on Local Computer Networks (LCN)</i>. IEEE. <a href="https://doi.org/10.1109/lcn.2016.11">https://doi.org/10.1109/lcn.2016.11</a>
  bibtex: '@inproceedings{Lass_Leibenger_Sorge_2016, title={Confidentiality and Authenticity
    for Distributed Version Control Systems - A Mercurial Extension}, DOI={<a href="https://doi.org/10.1109/lcn.2016.11">10.1109/lcn.2016.11</a>},
    booktitle={Proc. 41st Conference on Local Computer Networks (LCN)}, publisher={IEEE},
    author={Lass, Michael and Leibenger, Dominik and Sorge, Christoph}, year={2016}
    }'
  chicago: Lass, Michael, Dominik Leibenger, and Christoph Sorge. “Confidentiality
    and Authenticity for Distributed Version Control Systems - A Mercurial Extension.”
    In <i>Proc. 41st Conference on Local Computer Networks (LCN)</i>. IEEE, 2016.
    <a href="https://doi.org/10.1109/lcn.2016.11">https://doi.org/10.1109/lcn.2016.11</a>.
  ieee: M. Lass, D. Leibenger, and C. Sorge, “Confidentiality and Authenticity for
    Distributed Version Control Systems - A Mercurial Extension,” in <i>Proc. 41st
    Conference on Local Computer Networks (LCN)</i>, 2016.
  mla: Lass, Michael, et al. “Confidentiality and Authenticity for Distributed Version
    Control Systems - A Mercurial Extension.” <i>Proc. 41st Conference on Local Computer
    Networks (LCN)</i>, IEEE, 2016, doi:<a href="https://doi.org/10.1109/lcn.2016.11">10.1109/lcn.2016.11</a>.
  short: 'M. Lass, D. Leibenger, C. Sorge, in: Proc. 41st Conference on Local Computer
    Networks (LCN), IEEE, 2016.'
date_created: 2017-07-25T14:36:16Z
date_updated: 2022-01-06T06:53:56Z
department:
- _id: '27'
- _id: '518'
doi: 10.1109/lcn.2016.11
keyword:
- access control
- distributed version control systems
- mercurial
- peer-to-peer
- convergent encryption
- confidentiality
- authenticity
language:
- iso: eng
publication: Proc. 41st Conference on Local Computer Networks (LCN)
publication_identifier:
  isbn:
  - 978-1-5090-2054-6
publication_status: published
publisher: IEEE
status: public
title: Confidentiality and Authenticity for Distributed Version Control Systems -
  A Mercurial Extension
type: conference
user_id: '24135'
year: '2016'
...
---
_id: '37037'
abstract:
- lang: eng
  text: Today we can identify a big gap between requirement specification and the
    generation of test environments. This article extends the Classification Tree
    Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the
    precise specification of stimuli for operational ranges of continuous control
    systems. It introduces novel means for continuous acceptance criteria definition
    and for functional coverage definition.
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In:
    <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5457186">10.1109/DATE.2010.5457186</a>'
  apa: Krupp, A., &#38; Müller, W. (2010). A Systematic Approach to Combined HW/SW
    System Test. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe
    Conference &#38; Exhibition (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5457186">https://doi.org/10.1109/DATE.2010.5457186</a>
  bibtex: '@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic
    Approach to Combined HW/SW System Test}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5457186">10.1109/DATE.2010.5457186</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander
    and Müller, Wolfgang}, year={2010} }'
  chicago: 'Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined
    HW/SW System Test.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a
    href="https://doi.org/10.1109/DATE.2010.5457186">https://doi.org/10.1109/DATE.2010.5457186</a>.'
  ieee: 'A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,”
    presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition
    (DATE 2010), Dresden, 2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5457186">10.1109/DATE.2010.5457186</a>.'
  mla: Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW
    System Test.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5457186">10.1109/DATE.2010.5457186</a>.
  short: 'A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:41:15Z
date_updated: 2023-01-17T10:41:25Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457186
keyword:
- System testing
- Automatic testing
- Object oriented modeling
- Classification tree analysis
- Automotive engineering
- Mathematical model
- Embedded system
- Control systems
- Electronic equipment testing
- Software testing
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: A Systematic Approach to Combined HW/SW System Test
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '24065'
author:
- first_name: Jens
  full_name: Pottebaum, Jens
  id: '405'
  last_name: Pottebaum
  orcid: http://orcid.org/0000-0001-8778-2989
- first_name: Anna Maria
  full_name: Japs, Anna Maria
  last_name: Japs
- first_name: Stephan
  full_name: Prödel, Stephan
  last_name: Prödel
- first_name: Rainer
  full_name: Koch, Rainer
  last_name: Koch
citation:
  ama: 'Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology
    for fire protection. In: French S, Tomaszewski B, Zobel C, eds. <i>ISCRAM 2010
    -- 7th International Conference on Information Systems for Crisis Response and
    Management</i>. ; 2010.'
  apa: Pottebaum, J., Japs, A. M., Prödel, S., &#38; Koch, R. (2010). Design and modeling
    of a domain ontology for fire protection. In S. French, B. Tomaszewski, &#38;
    C. Zobel (Eds.), <i>ISCRAM 2010 -- 7th International Conference on Information
    Systems for Crisis Response and Management</i>.
  bibtex: '@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design
    and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010
    -- 7th International Conference on Information Systems for Crisis Response and
    Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan
    and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris},
    year={2010} }'
  chicago: Pottebaum, Jens, Anna Maria Japs, Stephan Prödel, and Rainer Koch. “Design
    and Modeling of a Domain Ontology for Fire Protection.” In <i>ISCRAM 2010 -- 7th
    International Conference on Information Systems for Crisis Response and Management</i>,
    edited by Simon French, Brian Tomaszewski, and Chris Zobel. Seattle, WA, 2010.
  ieee: J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of
    a domain ontology for fire protection,” in <i>ISCRAM 2010 -- 7th International
    Conference on Information Systems for Crisis Response and Management</i>, 2010.
  mla: Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire
    Protection.” <i>ISCRAM 2010 -- 7th International Conference on Information Systems
    for Crisis Response and Management</i>, edited by Simon French et al., 2010.
  short: 'J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski,
    C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems
    for Crisis Response and Management, Seattle, WA, 2010.'
date_created: 2021-09-09T12:27:14Z
date_updated: 2026-03-31T03:52:00Z
editor:
- first_name: Simon
  full_name: French, Simon
  last_name: French
- first_name: Brian
  full_name: Tomaszewski, Brian
  last_name: Tomaszewski
- first_name: Chris
  full_name: Zobel, Chris
  last_name: Zobel
keyword:
- Command and control process
- Command and control systems
- Design and modeling
- Domain ontologies
- Emergency response
- Fire extinguishers
- Fire protection
- Heterogeneous domains
- Information analysis
- Information sharing
- Information systems
- Interoperability
- Ontology language
- Semantic technologies
- Semantic Web
- Semantics
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf
oa: '1'
place: Seattle, WA
publication: ISCRAM 2010 -- 7th International Conference on Information Systems for
  Crisis Response and Management
quality_controlled: '1'
status: public
title: Design and modeling of a domain ontology for fire protection
type: conference
user_id: '405'
year: '2010'
...
---
_id: '39474'
abstract:
- lang: eng
  text: Agent-based systems technologies are of emerging interest in the specification
    and implementation of complex systems. This article introduces the CASA agent
    development system which seamlessly combines the BDI (belief desire intention)
    approach with the FIPA agent communication language standard and an integrated
    specification of fuzzy controllers. The behavior of agents is defined by strategies
    which basically correspond to extended guarded Horn clauses with priorities. The
    presented concepts are introduced by an example from computer integrated manufacturing
    (CIM). The example gives the specification of a fuzzy controller for a manufacturing
    station in the context of a holonic manufacturing system (HMS).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
citation:
  ama: 'Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling
    for Holonic Manufacturing Systems with Fuzzy Control. In: <i>Proceedings of NAFIPS’99,
    18th International Conference of the North American Fuzzy Information Processing
    Society</i>. IEEE; 1999. doi:<a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>'
  apa: Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Paelke, V. (1999).
    Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. <i>Proceedings
    of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
    Processing Society</i>. 18th International Conference of the North American Fuzzy
    Information Processing Society - NAFIPS, New York, NY, USA . <a href="https://doi.org/10.1109/NAFIPS.1999.781697">https://doi.org/10.1109/NAFIPS.1999.781697</a>
  bibtex: '@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York,
    NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with
    Fuzzy Control}, DOI={<a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>},
    booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North
    American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake,
    Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke,
    Volker}, year={1999} }'
  chicago: 'Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and
    Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy
    Control.” In <i>Proceedings of NAFIPS’99, 18th International Conference of the
    North American Fuzzy Information Processing Society</i>. New York, NY, USA : IEEE,
    1999. <a href="https://doi.org/10.1109/NAFIPS.1999.781697">https://doi.org/10.1109/NAFIPS.1999.781697</a>.'
  ieee: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based
    Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the
    18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS, New York, NY, USA , 1999, doi: <a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>.'
  mla: Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems
    with Fuzzy Control.” <i>Proceedings of NAFIPS’99, 18th International Conference
    of the North American Fuzzy Information Processing Society</i>, IEEE, 1999, doi:<a
    href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>.
  short: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings
    of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
    Processing Society, IEEE, New York, NY, USA , 1999.'
conference:
  location: 'New York, NY, USA '
  name: 18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS
date_created: 2023-01-24T11:21:53Z
date_updated: 2023-01-24T11:21:57Z
department:
- _id: '672'
doi: 10.1109/NAFIPS.1999.781697
keyword:
- Manufacturing systems
- Fuzzy control
- Multiagent systems
- Control systems
- Concurrent computing
- Specification languages
- Communication standards
- Standards development
- Communication system control
- Computer integrated manufacturing
language:
- iso: eng
place: 'New York, NY, USA '
publication: Proceedings of NAFIPS'99, 18th International Conference of the North
  American Fuzzy Information Processing Society
publication_identifier:
  isbn:
  - 0-7803-5211-4
publisher: IEEE
status: public
title: Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39526'
abstract:
- lang: eng
  text: The main goal of the article is to evaluate the suitability of visual programming
    languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling
    of complex systems and their control strategies. These systems can be seen as
    networks of communicating objects. Objects select strategies for suitable actions
    based on incoming messages. Our field of investigation is in computer integrated
    manufacturing considering the example of a car manufacturing cell. This color
    sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car
    bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies
    to blocks. Blocks are bodies which are to be enameled by the same color. This
    organization decreases the cost of expensive change-over-times when changing colors
    at the enamelling. Blocks of bodies are dislocated from the queue and enameled
    successively. Contradictory system goals, such as minimizing color changes and
    preserving the sequence of incoming jobs, have to be regarded by appropriate control
    strategies. Due to the complexity of this (NP complete) problem and to real time
    requirements for online control there are no optimal strategies on hand. Consequently,
    suitable heuristics have to be developed. Often they are designed applying a trial-and-error
    method. A modeling framework has to support the rapid prototyping of these systems
    as well as an expressive end user oriented representation. Both are essential
    requirements since end users need other visualization techniques than experienced
    designers due to their different knowledge and interests.
author:
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: R.
  full_name: Hunstock, R.
  last_name: Hunstock
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: 'J. '
  full_name: 'Quintanilla, J. '
  last_name: Quintanilla
- first_name: 'C. '
  full_name: 'Tahedl, C. '
  last_name: Tahedl
- first_name: A.
  full_name: Weber, A.
  last_name: Weber
citation:
  ama: 'Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation
    with a Complete Visual Programming Language --- A Case Study in Manufacturing.
    In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996.
    doi:<a href="https://doi.org/10.1109/VL.1996.545302">10.1109/VL.1996.545302</a>'
  apa: Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl,
    C., &#38; Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete
    Visual Programming Language --- A Case Study in Manufacturing. <i>Proceedings
    of the 1996 IEEE Symposium on Visual Languages</i>. <a href="https://doi.org/10.1109/VL.1996.545302">https://doi.org/10.1109/VL.1996.545302</a>
  bibtex: '@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996,
    place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a
    Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={<a
    href="https://doi.org/10.1109/VL.1996.545302">10.1109/VL.1996.545302</a>}, booktitle={Proceedings
    of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and
    Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J.  and
    Tahedl, C.  and Weber, A.}, year={1996} }'
  chicago: Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J.  Quintanilla,
    C.  Tahedl, and A. Weber. “Visual Modeling and 3D-Representation with a Complete
    Visual Programming Language --- A Case Study in Manufacturing.” In <i>Proceedings
    of the 1996 IEEE Symposium on Visual Languages</i>. Boulder, CO, USA, 1996. <a
    href="https://doi.org/10.1109/VL.1996.545302">https://doi.org/10.1109/VL.1996.545302</a>.
  ieee: 'C. Geiger <i>et al.</i>, “Visual Modeling and 3D-Representation with a Complete
    Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: <a
    href="https://doi.org/10.1109/VL.1996.545302">10.1109/VL.1996.545302</a>.'
  mla: Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete
    Visual Programming Language --- A Case Study in Manufacturing.” <i>Proceedings
    of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href="https://doi.org/10.1109/VL.1996.545302">10.1109/VL.1996.545302</a>.
  short: 'C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl,
    A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder,
    CO, USA, 1996.'
date_created: 2023-01-24T11:58:56Z
date_updated: 2023-01-24T11:59:01Z
department:
- _id: '672'
doi: 10.1109/VL.1996.545302
keyword:
- Computer integrated manufacturing
- Job shop scheduling
- Processor scheduling
- Computer languages
- Control system synthesis
- Computer aided manufacturing
- Sorting
- Assembly
- Costs
- Control systems
language:
- iso: eng
place: Boulder, CO, USA
publication: Proceedings of the 1996 IEEE Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-7508-X
status: public
title: Visual Modeling and 3D-Representation with a Complete Visual Programming Language
  --- A Case Study in Manufacturing
type: conference
user_id: '5786'
year: '1996'
...
---
_id: '39538'
abstract:
- lang: eng
  text: This article discusses the application of Pictorial Janus (PJ) for the rapid
    development and analysis of protocols by animation and complete visualization.
    In order to make PJ applicable in the context of hardware description we first
    extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating
    VHDL models into this visual framework preserving the simulation semantics of
    VHDL. We finally give the example of the specification and animation of a non
    interlocked protocol.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: C.
  full_name: Tahedl, C.
  last_name: Tahedl
citation:
  ama: 'Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations
    of Protocols. In: <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>.
    ; 1995. doi:<a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>'
  apa: Müller, W., Lehrenfeld, G., &#38; Tahedl, C. (1995). Complete Visual Specification
    and Animations of Protocols. <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with
    EDA Technofair</i>. <a href="https://doi.org/10.1109/ASPDAC.1995.486383">https://doi.org/10.1109/ASPDAC.1995.486383</a>
  bibtex: '@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete
    Visual Specification and Animations of Protocols}, DOI={<a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>},
    booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller,
    Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }'
  chicago: Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification
    and Animations of Protocols.” In <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
    with EDA Technofair</i>. Chiba, Japan , 1995. <a href="https://doi.org/10.1109/ASPDAC.1995.486383">https://doi.org/10.1109/ASPDAC.1995.486383</a>.
  ieee: 'W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and
    Animations of Protocols,” 1995, doi: <a href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>.'
  mla: Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.”
    <i>Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair</i>, 1995, doi:<a
    href="https://doi.org/10.1109/ASPDAC.1995.486383">10.1109/ASPDAC.1995.486383</a>.
  short: 'W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
    with EDA Technofair, Chiba, Japan , 1995.'
date_created: 2023-01-24T12:05:55Z
date_updated: 2023-01-24T12:05:59Z
department:
- _id: '672'
doi: 10.1109/ASPDAC.1995.486383
keyword:
- Animation
- Protocols
- Timing
- Computer languages
- Electronic mail
- Context modeling
- Visualization
- Control systems
- Flow graphs
- Trademarks
language:
- iso: eng
place: 'Chiba, Japan '
publication: Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
publication_identifier:
  isbn:
  - 4-930813-67-0
status: public
title: Complete Visual Specification and Animations of Protocols
type: conference
user_id: '5786'
year: '1995'
...