Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

N. Viswanadham

dblp:136/9791 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
0since 2021 · last 1987
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 1 first-authorSystems, architecture and hardware · 3 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Automata and formal languages · 90% Automated reasoning and model checking · 10%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 100%
Software engineering, system software, and programming languages
1 paper
Program verification · 77% Requirements engineering and software design · 23%

Topics — the 6 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automata and formal languages
petri nets
0.021987
Coloured Petri net models for automated manufacturing systems · ICRA 1987
Applications of petri net based models in the modelling and analysis of flexible manufacturing systems · ICRA 1986
Embedded and real-time systems › manufacturing systems
flexible manufacturing systems
0.011987
Coloured Petri net models for automated manufacturing systems · ICRA 1987
Embedded and real-time systems › cyber-physical system platforms
industrial automation
0.011987
Coloured Petri net models for automated manufacturing systems · ICRA 1987
Automata and formal languages › petri nets
colored petri nets
0.011987
Coloured Petri net models for automated manufacturing systems · ICRA 1987
Program verification › concurrent program verification
deadlock verification
0.011986
Applications of petri net based models in the modelling and analysis of flexible manufacturing systems · ICRA 1986
Automated reasoning and model checking › program verification › verification of concurrent systems
deadlock analysis
0.011987
Coloured Petri net models for automated manufacturing systems · ICRA 1987

Methods — techniques the papers use, named apart from their topics

simulation · 0.0petri net modeling · 0.0invariant analysis · 0.0coloured petri net modeling · 0.0
YearPublicationVenuePosition
1987 Reliability analysis of flexible manufacturing systems
abstract
High productivity is the primary goal of flexible manufacturing systems (FMSs) in which semi-independent workstations are integrated using automated material-transport systems and hierarchical local networks. Availability of various subsystems and of the system as a whole is a prerequisite for achieving functional integration as well as high throughput. An FMS also has inherent routing and operation flexibilities that provide it with a certain degree of fault tolerance. A certain volume of production can thus be maintained in the face of subsystem (i.e., machines, robots, material handling system, etc.) failures. In this article, we propose two reliability measures, namely, part reliability (PR) and FMS reliability (FMSR) for manufacturing systems and present algorithms to evaluate them. We also consider the dynamic or time-dependent reliability analysis as a natural generalization of the static analysis. The methods outlined use an algorithm that generates process-spanning graphs (PSGs), which are used to evaluate the reliability measures.
L. Miriyala, N. Viswanadham
ICRA2
1987 Coloured Petri net models for automated manufacturing systems
abstract
In this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We illustrate our methodology for a Flexible Manufacturing Cell (FMC) with three machines and three robots. We also consider the analysis of the FMC for deadlocks using the invariant analysis of CPNs.
N. Viswanadham, Y. Narahari 0001
ICRA1
1986 Applications of petri net based models in the modelling and analysis of flexible manufacturing systems
abstract
Petri nets have evolved into a powerful tool for analyzing asynchronous concurrent systems. In this paper we review the applications of Petri nets to FMSs. We present applications of Petri net models in the design of simulators for flexible manufacturing systems (FMSs) and in the verification (by investigating the presence/absence of deadlock) of the logic used to design the hardware/software for controllers used in FMSs.
Manjunath Kamath, N. Viswanadham
ICRA2
1979 A parallel processor for real-time speech signal processing
abstract
This paper describes the structure of a parallel processing system, primarily suitable for real-time Linear Prediction (LP) analysis and synthesis of speech signals. This system employs specially developed parallel forms of the well known algorithms (Levinson's Recursion, SIFT as well as LP synthesis filter) for this purpose. The feasibility of implementing the proposed structure using microprogrammable microprocessors, is then discussed. The proposed scheme can be readily adapted for on-line identification of autoregressive processes.
A. V. Ashajayanthi, N. Viswanadham
ICASSP3